Contemplating the prospect of redoing a lot of work after today's rollback (a possibility we always have to keep in mind, so I want to emphasise that I'm not complaining), I came to the conclusion that I've been spending too much time on the server. That's time I can't really spare right now. I've had a lot of fun here since joining in July, largely due to the great community, but now I need to withdraw due to other demands on my time. Maybe I'll be back when I'm less busy, but that probably won't be until next year. So, all the best until then.