Thanks, well that’s crazy.

I’ve moved the text files out of the way but it’s fairly simple and well known to remove the protection on PDF files if anyone wants to know how.