Links for make_GitHub_doc