Incidentally, that's by far the most attractive HTMLification job I've seen on gutenberg.org - working index, italics, small page refs in margin, good fonts, ni

Incidentally, that's by far the most attractive HTMLification job I've seen on gutenberg.org - working index, italics, small page refs in margin, good fonts, nice-looking para info boxes etc. Usually scanned PDFs/DjVus are an incomparably superior reading experience, but that HTML looks very usable. Well done!