MiNET Education Edition, or the way you all should pronounce MiNET anyway ...
No issues in this repository yet.