Remove example HTMLs (now in gh-pages branch)
Trivial tweak of TODO