Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
`\Coq\ ` -> `{\Coq} ` (see above about spaces)