| Tue, 29 Sep 2020 20:00:59 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 29 Sep 2020 19:54:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 29 Sep 2020 19:49:25 +0200 | wenzelm | formal platform information, notably for ssh; | changeset | files |