comments about Coq bug 3745