The latter is now the preferred URL for visiting cmake.org with a browser. Convert using the shell code: git ls-files -z | xargs -0 sed -i 's|http://www\.cmake|https://cmake|g'
This allows disambiguation of identifiers in Qt Assistant and Creator.
Add a small CMake logo to the left side of the header and footer navigation bars. Set the html theme, title, and short title explicitly.