https://fedoramagazine.org/4-cool-terminal-multiplexers/