The 22 year old website runs fine with this new change. We're talking about MooTools, the library hardly anybody uses today and to 5 significant figures nobody

The 22 year old website runs fine with this new change. We're talking about MooTools, the library hardly anybody uses today and to 5 significant figures nobody will use 15 years from now. (It's 11 years old today). The important point is that this will teach new libraries not to make the same mistake as this old one. That is, if you're going to add things to the standard library, first check to ensure you're not clobbering anything that gets added later.