Good suggestion! IMHO Kitty is seriously underused terminal. Very fast, customizable, scriptable…