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 :)
- Bug#946580: No coqidetop in coq package breaks editor plug... Julien Lepiller