ftsrg/lecture-notes not found