src/*.html, src/VERSION.txt: tighten HTML for better compression; bump version