Follow-up for issue #8717: Add suggested doc extension to htmlArea RTE ext_emconf.php