[doctools refactor] lazylex/html.py -> doctools/html_old.py