bug#46016: broken Proof-General (emacs front-end to Coq)

[John Soo]

Hi zimoun,

I use Proof General pretty regularly. I think this is the same as
https://issues.guix.gnu.org/45781.

Kindly,

John