Make header in documentation go back to the documentation homepage.

This is a regression from the old docs.