Now that I have lots of PDF files of articles, it seems like a good idea to do regular backups. So I mirror all the key directories onto an external drive. Last night I did the same — and th…