Giving WezTerm a chance to replace Gnome Terminal, which I've been using since... forever.

I want to stick to defaults as much as possible, but "ctrl+shift+t to open a new session in the same context, even SSH" is too tempting.

Had to adjust fonts, because the default bold is excessively subtle, and numeric tab switching does not work well for me in Gnome, though.

But there's a chance I'll stick to WezTerm.