Is there anything else in the Piserver setup procedure that you had problems with, or found hard to understand, and that should be improved?
Everything basically, you have lost 99.9% of teachers by using MAC address.
Having some video tutorials that go through every fine detail of setting up a PiServer. If you think taking a PC with Windows7/10 installed and then attempting to install Debian onto the system is easy for the average person then you need to think again! Any Documentation needs to have pictures of what you see exactly on screen as any differences will confuse people building the network.
I am having the same conversation with Synology about making their NAS drives more school setup friendly for student's/staff to use in a BYOD environment.
Maybe you can get together with the Computer At Schools organization and run some weekend training on building a PiServer/Raspberry Pi Network from scratch. Then setting up User Accounts and Shared Folders as in a Monkey See Monkey Do type environment.
and some simple instructions on how to install a Network Printer would be nice and useful.
Having just got my hands on a RP4 4GB, I can see that replacing Windows PCs is a real possibility at considerably saving in costs for software and server hardware.
My other computer is a VIC20.