Since https://github.com/ProofGeneral/PG/pull/762 all infomsg disappeared, for instance (but it's all over the place) ````Rocq Definition n := 42. ```` used to produce ``` <infomsg>n is defined</infomsg> ``` which is now gone. Immediate workaround is to unset the variable `coq-run-completely-silent`.
