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"'.