Thanks for the fix! The changelog seems to imply your change of coqidetop was after coq upstream advice. To be clear, I am only the upstream of a plugin that uses coq, not an upstream of coq itself :)