On Aug 22, 2025, at 13:36, Kirill Reshke <reshkekirill@gmail.com> wrote:
I do not insist on this modification. I just spotted two completely same codes in [0] & [1], which only differ in BufferGetPage cast. And I merely tried to do something with it.
v2 attached with all 69 casts removed, but I see there is a little chance of this committed.