WIP: adding missing requires tags back to docket. TODO: re-print the doclet and start over.