Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
Is it the library files which each reserve the root name Coq, or do they share the root Coq, which happens to be reserved?  Your sentence says the former to me; I think "have the reserved root \texttt{Coq}" would be better if you're expressing the latter.