Re: mention unused_oids script in pg_proc.dat

> On 24 May 2025, at 12:24 PM, Álvaro Herrera <alvherre(at)kurilemu(dot)de> wrote:
>
> On 2025-May-24, Florents Tselai wrote:
>
>> I aggree with having more READMEs around the src tree.
>> It’s true that a lot of doc content found in VII. Internals is dev-oriented,
>> but imho it should be closer to the src (and more succinct/less verbose too).
>
> Maybe these READMEs can simply contain little more than links to the
> built HTML docs, to avoid having multiple sources of info.
>
>> Looking at some of the text in 67.2.2. OID Assignment for example,
>> a few things look outdated wrt choosing OIDs.
>>
>> One can look through the history of similar commits to see what
>> needs to be changed; So it’s not THAT bad.
>
> Sure, outdated docs is something that happens. Patches welcome.
>

Something like this ?