* I18N: Do not leak system information in user messages.
* CORE_config: Export some pieces of configuration information to the JS client.
* HTML_widget: A basic visibility toggler.
* HTML_autotest: Use it in a dumb way.