MIME Option XML file for Properties settings.
Properties settings are loaded and saved in XML format
according to EditorProperties-1_0.dtd.
Properties is common name for all additional Editor settings like
expert settings or simple boolean, integer, string, etc.