Subject: bug#39459: Multiple terminal programs to choose from, not just the Gnome default

From: Leo Prikler <[email-masked]>
Date: Thu, 06 Feb 2020 23:57:51 +0100

That's not a bug, but a feature.  Unless desktop files are written in a
way that they're excluded in some DE (using a custom key to do so, mind
you), all DEs will show the item.  You can "fix" this behaviour by
installing just what you want ;)