MODULES.html replaces MODULES.txt.