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