22.214.171.124. Dedicated pages
Because the HTML pages are generated out of the SGML file, the HTML filenames turn out to be quite random. However, some pages are tagged in LyX, resulting in static names. These tags are useful for references and shouldn't be changed in the future.
If you think that I have forgotten a tag, please let me know, and I will add it.