No POD found for agda.xml. Time to read the source?