Hacker News Reader

Are the "PRO" badges that have been showing up on Github profiles today in any way related to this?

Yes, they indicate paying customers.

Ah! I’d forgotten that I had a “paying account” through some educational promotion.