How to add a custom filetype in the Linux desktop environment, with a custom MIME type, custom extension, and custom icon.