Hi all, As the mailing list isn’t working properly (and is more or less unused, which may or may not be related), I’ll be shutting it down at some point soonish. The MUC room will remain up if people want to get in contact. /K