The conflation of file type and editor is orthogonal to the use of file extensions as type metadata. I agree that including the file's type in the name is suboptimal, but in a world where we're constantly sending files from one environment to a completely different one, it isn't entirely unreasonable either, as file names are the one truly universal way of identifying a file, and a file's type is part of its identity.