// ERROR: Module html\help.html missing.