Add omitted HTML pages. (*.html is in the fossil `ignore-glob`, so they get
skipped for github-skin statistics bar.)