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