Direct people to file header issues in github, not bugzilla.