doc: Document pattern matching on vectors

Document the new syntax implemented for #1844. Minimal, but better than nothing, I think.