[NTG-context] Re: Do we have a geometry library for Metafun?

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-Met... file to Wiki? -- Respect, Shiv Shankar Dayal