I thought @andyc was a bit quiet. Just realised I haven’t been receiving his dents in my timeline. Just (re-)subscribed(?), too. How odd.