util/process_docs.pl: Add more debugging output