Regrettable, but better than nothing.
One way you could go about it is adding it as an export option in the editor - like, an "Export for Godot" option that simply changes the export extension. You could even provide a batch file for converting existing files (which, technically, is something anybody with some command-line expertise could probably do, but still)