Use date from manual.html in man pages