Can we please add https://github.com/jemmybutton/byrne-euclid/blob/master/byrne.mp to Wiki because files have a tendency to disappear?
Similarly, can we please add https://github.com/thruston/Drawing-with-Metapost/blob/main/Drawing-with-Metapost.pdf file to Wiki?
--
Respect,
Shiv Shankar Dayal