The 9 line summary is now also available as a preprint: https://www.motionmountain.net/9lines.pdf