If I change the extension of all the unzipped files (e.g. ???C:\nLab> ren *.html *.xhtml???) then they will all display correctly but their internal links refer to ???.html??? files and no longer work. (What sort of works is to unzip the files, rename them, and unzip them again which results in both ???span.html??? and ???span.xhtml??? existing.)