| Fri, 16 Sep 2022 14:26:42 +0200 | wenzelm | discontinued pointless SSH.Target: OpenSSH client can handle user@host directly; | file | diff | annotate |
| Tue, 13 Sep 2022 09:38:02 +0200 | wenzelm | clarified signature: separate unrelated modules; | file | diff | annotate |