Btw, saw these guys at a conf yesterday. Maybe a little related to what you are doing in edu

https://njump.me/nevent1qqsvqc9fnzuguvkvxdh3ehw4e3mugwm6jwlll3mf4g5hs0hrchustfgzyrqnl5uppv4psung34s7pgydvukul48p7qd2m5t25vjt0u95vgmw5qcyqqqqqpsyldmyl