Encrypting a file using a GitHub user's public key | Hacker News Reader