#4386 Fuer GRC: Optional Info Button bei 'input' wie bei 'textarea' - EXTRA_BUTTON_INFO_POSITION=below
Manual.rst: update doc for EXTRA_BUTTON_INFO_POSITION.
HelperFormElement.php: honor setting of EXTRA_BUTTON_INFO_POSITION.