Re: A minor bug in doc. Hovering over heading shows # besides it.

Daniel Gustafsson <daniel@yesql.se> writes:
> 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.

I like this suggestion better because that's U+00B6, ie part of
LATIN-1, so it's *far* more likely to render correctly everywhere
than U+01F517 is.  We could also consider the section sign §
(U+00A7).

In any case, a tooltip would help reduce confusion.

            regards, tom lane