Even more amazing is that someone has a job to go through github profiles and flag public keys (which is also central to git!)