For all practical purposes it caused confusion among users and the regular file extension should be just as fine.