Minor updates, with no specification changes, to the documentation of Vector API.

The compilation of the Vector module was updated to turn on doclint errors for >= protected documentation.