Tried to change my default terminal emulator to foot, as seen by #GNOME software (e.g. #GNOMENautilus ), and found out that GNOME uses a #hardcoded list of terminal emulators. After looking on Stack Exchange, it appears you can't change it.
Such a botch, are the answers I was reading out-of-date or can you just not change your default terminal in GNOME software?