Add a few more links on the headers of documented files