Halloween 2023

Done.

As always, people had a good time, there were lots of things to eat and drink, lots of happy ghouls and goblins, and we got lots of thanks for organizing it, but this year it seemed to take a lot more energy to get up and get it done…