With Ptyxis being unmaintained and full of bugs making it a daily pain, what other terminals for #GNOME are there that don’t suck? And what are GNOME‘s plans for the future regarding a terminal? Revive gnome-terminal and port to GTK4 maybe?