Obtain a GitHub user's public keys | Hacker News Reader