.desktop files for various Linux distros, and similar stuff for other OSes