> On Mar 24, 2022, at 6:43 AM, Thomas Munro <thomas.mu...@gmail.com> wrote: > > On Fri, Mar 25, 2022 at 12:26 AM Thomas Munro <thomas.mu...@gmail.com> wrote: >>> On Fri, Mar 25, 2022 at 12:01 AM Peter Eisentraut >>> <peter.eisentr...@enterprisedb.com> wrote: >>> Or even: Why are we exposing fork *numbers* in the user interface? >>> Even low-level tools such as pageinspect use fork *names* in their >>> interface. >> >> I wondered about that but thought it seemed OK for such a low level >> tool. It's a fair point though, especially if other low level tools >> are doing that. Here's a patch to change it. > > Oh, and there's already a name lookup function to use for this.
+1 on the semantic names. David