3 ms·sadly, missing one of my favorites: NCD's mariner (yeah, the x11 terminal company).by jerrysievert 7y agosadly, missing one of my favorites: NCD's mariner (yeah, the x11 terminal company).