all the last-minute changes before the workshop

This commit is contained in:
2025-11-11 20:24:12 +01:00
parent 92e9b0f918
commit 56dda858c0
8 changed files with 930 additions and 1041 deletions

File diff suppressed because one or more lines are too long