| Sat, 05 Jun 2021 20:15:06 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 05 Jun 2021 19:21:29 +0200 | wenzelm | more thorough update of required files (amending 1529c3eb6bac); | changeset | files |
| Sat, 05 Jun 2021 12:57:52 +0200 | wenzelm | clarified examples; | changeset | files |