On Tue, Sep 19 2023 at 02:02:48 PM +02:00:00, Alexander Kanavin <alex.kanavin@gmail.com> wrote:
I guess once gnome-terminal is ported

I guess that won't happen. gnome will switch to 
https://gitlab.gnome.org/GNOME/console
instead of porting