Sorry for the missed update. I queued up a bunch of posts in advance before the start of my summer travels, but ran though them all and I’ve been a bit busier than I expected, so I haven’t had the time to write more. Things are starting to calm down a bit though, so updates should resume soon (hopefully in one week).