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