On Tue, 21 Oct 2025 at 18:53, Michael Paquier <[email protected]> wrote: > FWIW, I am on the same line as you. Your suggestions are better than > what the proposed patch does, as far as I've looked.
Pushed with the agreed comment change and type change to pageno. David
