Use paged arrays to make growth smoother in StringTermsAggregator.