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