Tidy up old asciidoc and html files