Re: Headers for each index

> The following documentation comment has been logged on the website:
>
> Page: https://www.postgresql.org/docs/13/indexes-types.html
> Description:
>
> For easier visual navigation could you please add headers or color the
> different types of indexes? At the moment, one needs to read the whole
> document or do search in the page to find the available indexes.
>
> Thanks a ton!

The look&feel has changed in version 14 in a way that hopefully matches 
your suggestion: https://www.postgresql.org/docs/14/indexes-types.html

--

Jürgen Purtz