Fixes #1201. FE.parameter option has never been implemented. According...

Fixes #1201. FE.parameter option has never been implemented. According https://developer.mozilla.org/en-US/docs/Web/HTML/Global_attributes/tabindex only the values '0' and '-1' are good. 'tabindex' has been removed from Manual.rst. FormEditor.sql has been changed that all links are 'tabindex="-1"'.
3 jobs for F1201tabIndex in 2 minutes and 44 seconds (queued for 1 second)