| Sun, 13 Nov 2022 20:45:49 +0100 | wenzelm | separate style for re-use; | file | diff | annotate |
| Sat, 05 Nov 2022 16:24:59 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 04 Nov 2022 19:57:21 +0100 | wenzelm | proper chapter (amending 809cd1195795); | file | diff | annotate |
| Thu, 03 Nov 2022 21:09:20 +0100 | wenzelm | clarified directory layout: templates for user sessions; | file | diff | annotate |