Closed gares closed 6 years ago
See also coq/coq#6180.
Closing, now that the FAQ in hosted on the Wiki. I've just pushed your modifications there. I left a mention of Mowgly there, but only for historical purpose, saying explicitly that it isn't active anymore.
See also coq/coq#6180.