Acontece que algo muito estranho está acontecendo neste final: qualquer redirecionamento de porta para o ssh, exceto a porta 22, não funciona. Por enquanto, estou usando o multihop, que não é tão lento quanto eu temia, mas esse problema parece estar no ISP (Virgin Media).
Eu vou falar com eles; parece que está falhando fora da rede doméstica.