Beautiful! I love the clean design of the page, too. I went through a period of obsession with the Harel paper, and your page is a nice summary of some of the key points!