After recent changes, read_pseudo was overwriting and deleting PPs
in old formats or containing unwanted characters, if the code was running in tmp_dir. Noticed by Samuel.
in old formats or containing unwanted characters, if the code was running in tmp_dir. Noticed by Samuel.