Ask HN: What was that repo I can donate/sell me remaining subscription tokens?