As pr. title, when saving a file, and the type of .fmm is selected, the extension is not added to the filename unless you explicitly ends the filename with .fmm in the File name field.
Actually, I don't think we ever did add the .fmm extension in this case. At not least since R7.3. But I agree it makes sense to do it as this would be the expected behavior for most users. Easily added.
As pr. title, when saving a file, and the type of .fmm is selected, the extension is not added to the filename unless you explicitly ends the filename with .fmm in the File name field.