Perhaps the smallest useful terminal multiplexer in the worldgithub.com/deadpixi2 pointsflob8839 years ago