You learn something new every day. To be fair, this rename is 10 years old!
Reply on news.ycombinator.com