noDRM's GitHub repo DeDRM_tools is disabled due to Readium's DMCA notice