Is it a privacy violation for GitHub to suddenly publicly label Pro accounts? | Hacker News Reader