PDF plugin: remove obsolete code