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