I too am a bit surprised, but my reason for upvoting is that I've been using this idiom my whole life and never have thought about it until this moment; getting the history of usage was super interesting. Figuring out _how_ one would figure out the history of usage is interesting! A little gem.