Great to hear! Another suggestion is to provide some kind of setup guide or easy way to spin up a remote server. Just created an issue for that. I've spent the last hour trying to get up to speed with this and haven't yet got it set up.
As you bring this project to maturity, if you're interested in the education context, you'll want to optimize for setup time. Educators and techs that help them are hugely time constrained in a school setting so the quicker they can get a lesson running the better. If setup takes considerable time (5-10min?) or domain expertise, it's a nonstarter.
Really cool idea!
Would you consider making a Minetest version?
I'll add education edition support to my roadmap. Thanks!