I do agree. Replaced in config.php.

(and took the opportunity to fix a long-standing nitpick in smiley_helper.rst ;)