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