The campaign page says you can use the Arduino ide but all I can see in the documentation is using linux or for the esp32 using esspresifs tool. The lack of documentation and this whole project is a joke. Has anyone managed to actually gotten arudino to work with this board?