Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
I think "where Coq looks" is better grammar than "where to look", in this case.