use an SSH proxy and color-code them