The .html files are updated from perforce (./web/texlive) by a rahtz
sync cron job and p4 magic views.  Don't edit them.