To remedy that, I’ve added an automated summary of my latest Github commits. That, at least, will be kept up to date! 24 July 2019