Exclude Gnome Extensions app

[waffle8946]

There’s a general approach mentioned here to hide a desktop file - simply, set Hidden=1 on a higher-precedence package (via lib.hiPrio):

Make neovim wrapper .desktop optional

I doubt there are any conventions about this specific thing since it is such an obscure request. So the decision whether to accept a PR for this feature would fall to the maintainers of the package. Personally, I would consider the costs compared to benefits (with alternatives in mind) and reject it: Costs Added complexity to the package expression. People might disable the launcher not realizing that it would also break file associations. Benefits ¿One? user’s non-critical (purely cosmet…

(I’d use install -D rather than mkdir + cat, but same idea.)