On vacation

I have much to write - but right now I'm on vacation (until the 3rd of December), so unless I get bored on my vacation and decide to write a bunch, I'm taking a break.