There are no pages in SDK-dat/Arduino-IDE-DAT/arduino-lib-dat on master.