Some initial code for PML import, renamed Doc to PMLDoc.