learn2html and tidy a bit