Thanks so much for sharing your library. That's some very nice documentation!
One thing you should be aware of: Arduino does not allow libraries which have a library.properties name value starting with "Arduino" to be added to the Arduino Library Manager index. Library Manager provides the easiest way to install and update Arduino libraries. The restriction only applies to the library.properties name value, there is no problem with the GitHub repository name or the library file names starting with "Arduino".
Reference and more information:
I also don't think it's necessary to put the .zip file in the repository. Adding binary files to repositories makes them get very big fast, so it's best to avoid this if possible. GitHub automatically generates .zip files for you. There is one for each Git ref. For example, this URL gives you a .zip file for the tip of the master branch: https://github.com/xcape-io/ArduinoProps/archive/master.zip
GitHub also provides .zip files for each GitHub release or Git tag. Yes, these will have the Visual Studio files in them which are removed by your .bat file, but I don't think it's a huge problem. If you want to provide customized .zip files, you can do this by attaching them to GitHub Releases. These files are not in the Git repository, so they don't affect its size.
This project was initiated in 2016 when we opened our own Live Escape game in Grenoble, France.
We now have 5 rooms with about 40 Arduino and 20 Raspberry Pi board, with 11 arduinos in a single room with a lot of automation, we created a Windows software controller for our Game Masters.
We use only Arduino Yun or Arduino Meag 2560 + Dragino Yun shields so I can reboot, reprogram from anywhere. We don't use WiFi to ensure reliable networking (his may change with WiFi 6 coming).
Our code is now mature and reliable enough to share.
It is simple, so I can code very quickly, adapt and maintain.
It is reusable and rely on a simple protocol over MQTT: