Rex Dieter wrote: > 3. *In particular*: when users start employing menu editors, since > most(all?) of them base their customizations on the .desktop file name. I stopped in mid-thought, sorry. The point of this is that menu editing will be troublesome/buggy when/if .desktop filenames change. -- Rex