Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
The sentence starting with "A loadpath" is a fragment.  Either insert a colon to make it "...two loadpaths in \Coq: a loadpath...", or say "There is one loadpath where seeing...above, and one where...".