Removing redundance lecture note files (now in subdir)