XXX privatly fix ProofGeneral#782

Author: hendriktews

coq/coq.el

@@ -2050,7 +2050,8 @@ shortly before `proof-assert-command-hook', respectively,
    proof-shell-theorem-dependency-list-regexp coq-shell-theorem-dependency-list-regexp
    ;; CRs now can and should be preserved (to support String-related theories),
    ;; see also this GitHub issue: https://github.com/ProofGeneral/PG/issues/773
-   proof-shell-strip-crs-from-input nil
+   ;; privatly fix #782
+   ;; proof-shell-strip-crs-from-input nil
 
    pg-subterm-first-special-char ?\360
    ;; The next three represent path annotation information