webdoc.html: Renamed html4.py and html5.py to v4.py and v5.py