On Mon, Mar 22, 2021 at 11:34:47PM -0700, Peter Geoghegan wrote:
> I'm okay with preserving "pages:" if you prefer it that way. It's
> really just the word "remain" -- it reminds me of the old
> "pages_removed" field. That used to be a thing that we showed back
> when old-style VACUUM existed and could shrink the index -- this is of
> course no longer possible.
>
> The message should clearly convey that the first number shown is
> simply the total size of the index.
No arguments against that, makes sense. I have applied something that
changes "remain" to "in total" for clarity. Thanks!
--
Michael