Doc: disable HTML_TIMESTAMP by default (breaks builds).