phd.dtx write-up refinements