Worry not, this is Hacker News. Pedantry is more valuable as currency than H100s here.