2 ms·

Fair. I need to spend a few weeks with coq before I really form an opinion of how these things could be improved.