Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
Note: You don't need curly braces around `\Coq` when the following character is a comma, period, exclamation mark, dash, etc.  But it's perfectly fine to keep the braces in.