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?