Rex Dieter wrote:
- *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