Change-Id: I37841734ee2845679252741b776af03625b49aaa
.desktop files for various Linux distros, and similar stuff for other OSes