I need to take some time off to get work done in the real world so I won’t be posting here for a month or so. But I’ll be back at the end of June (or thereabouts) with lots more stuff!