Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
I think you should remove "also"; `COQPATH` is a way to get something in a place automatically included by Coq, right?  ("also" suggests that it's an alternative to putting your dependency in a place automatically included by Coq.)  (And is user-contrib being deprecated or something?)