updateManagerSettings: remove Paratext (untested)

This is still untested, and there are probably some things that will
break (filenames not found, or whatever), but this version of
updateManagerSettings at least works like the old one did for any
non-Paratext files, which is probably good enough for now.