Re: A minor bug in doc. Hovering over heading shows # besides it. - Mailing list pgsql-docs

> On 18 Jul 2024, at 07:18, Tom Lane <tgl@sss.pgh.pa.us> wrote:

> Yeah.  I've found this new feature useful multiple times already,
> but the '#' icon is as non-mnemonic and unobvious as could possibly
> be.  OTOH, I don't know of a standard icon for this feature.

While not a standard the pilcrow [0] is, AFAICT from a bit of looking at other
docs, commonly used for this.  There is a lot of variability though so
whichever we choose it will be wrong one for someone.

--
Daniel Gustafsson

[0] https://en.wikipedia.org/wiki/Pilcrow