[https://hackmd.io/@EGlfdaUNRiSIIb7HvoU0rw/r1uAwLEE9 Shared HackMD for notes on Integrating SamSurf into sage-flatsurf]