remove old pdf file
rename files to remove reference to "microlocal"