Just home from the end of Edinburgh Festival fireworks. Time to bore with the documentation…