I have a simple Linux desktop at home, which I use as a jump server to access other machines behind my router’s firewall. When I recently moved house, my ISP unfortunately had my connection behind ...