Thread:Support/Rename "module" namespace/reply

Patch submitted: https://gerrit.wikimedia.org/r/105175 – it should go live within a few weeks (16 January on Wikipedias if everything goes right), see MediaWiki 1.23/Roadmap.