Re: Minor Improvements to pg_buffercache documentation

On Thu, Jul 03, 2025 at 01:30:13AM +0900, Fujii Masao wrote:
> BTW, all current index entries point to the top of the pg_buffercache
> docs. Would it be better if each entry pointed directly to its relevant
> section using a zone attribute like this?
> 
> - <indexterm>
> + <indexterm zone="pgbuffercache-summary">
>    <primary>pg_buffercache_summary</primary>
>   </indexterm>

That would be smarter than the current statu-quo of the page,
especially if this page grows more in size in the future.

The other inconsistencies are good catches, by the way!
--
Michael