Additional tools that make SSH more convenient
