id summary reporter owner description type status priority component severity resolution keywords cc release 8523 Missing file extensions for doc, odt, rtf files Robert Rossmair Claudio Manuel Fernández Barreiro With the exception of PDF, the file name extensions are missing. Meaning, I need to rename those files after saving, which is a needless annoyance. defect new normal WikiExportPlugin minor 0.12