Doctype-konverter for enkeltsider

Hva scriptet gjør:
Python-snutt som bytter XHTML-doctype til HTML5 for lokale filer.

Forslag til bruk:
Bruk scriptet som et kontrollert utgangspunkt i et testmiljø. Tilpass filstier, tekst og grenseverdier før produksjonsbruk.
