Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
I think `\Coq\space ` and `{\Coq} ` are marginally better than `\Coq\ `, as, if I recall correctly, the former two create expandable spaces which match the spaces normally found between words, while the latter creates a fixed-width space.