Comment by karlzt

Imagine changing Python's name, that doesn't make sense, and as you said, it's a very small problem that should be ignored.