These posts are mainly a replacement for my rubbish memory, but other people may find them useful so they’re public.

Got very busy with work, then very unbusy and now I’m probably busy again.

Interesting links found this week