md.texi (vec_widen_ushiftl_hi, [...]): Document.