Linking to GitHub generated header IDs