Add a comment for funny html.py code

This code is so terrible it requires a comment. I regret nothing.