Related: #8 (in a way, that was one instance of this issue) This is already mostly fixed in 7ea22c0c36455895ecdbeec6966522b9653733f9, but I had to revert that commit because it broke compatibility with coq<8.12
