Merge "docs: hide revision and build date from HTML pages"