In the mother of all pedantic pull requests, I've created https://github.com/python/pythondotorg/pull/77
Reply on news.ycombinator.com