I'm wondering what is the most efficient method to remove an element
from a Message's vector of repeated elements? I looked at the
RepeatedFieldPtr API but would appreciate some example code on how to
do this in the most efficient way. I gather from the API that the
underlying storage is a vector and so does not support efficient index-
based, random-access deletion from the vector. Is this correct?
Help is much appreciated,