No POD found for proof.sty.ltxml. Time to read the source?