help.html: updating links to 6.4 documentation manually based on what updatedoc.py did