[m-rev.] for post-commit review: fix doc of version_array.resize

[Zoltan Somogyi]

On Sat, 3 Dec 2022 12:13:16 +1100, Peter Wang <novalazy at gmail.com> wrote:
> Here's an attempt without spelling out the bounds:
> 
>     Returns in Array a new array of size NewSize.
> 
>     Each slot in Array is filled with the item from the corresponding
>     slot in Array0, if any.
> 
>     When NewSize is greater than size(Array0), Array will have more
>     slots than Array0. Those extra slots will be initialised to
>     NewValue.

I updated the comment to a slightly modified version
of the above.

Zoltan.