The emacs-common-proofgeneral project's README file is empty or unavailable.