Improve doc in MODULES.html.