You're absolutely right. I wonder whether we'd want extensions to be able to simply add a file extension, and have the remove the file extension from some other language, or whether extensions to prove some kind of awareness of the issue, like calling a special replaceFileExtension method somewhere, or having to provide a language from which they want to take a file extension, to indicate that this is a conscious specialization of a file extension.