@angristan very nice aesthetics. One issue i see is with "ssh -L 192.168.0.1:5432:127.0.0.1:5432 ssh-server". The problem with that example is that the two port numbers are the same, so if someone must adapt that example to their own situation, they have to work out which position is for which port number.