This essentially reverts commits 1bfb595c ("strip timestamps from
bigpage HTML docs too") and d1ed4e69 ("remove timestamp from HTML
output") while also replacing the tabs introduced therein with 8
spaces, as already started before in commit 320ed66d ("Fix whitespace
in build-doc-tree.sh").