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

Daniel Gustafsson <daniel@yesql.se> writes:
> Looking a bit closer, the Python documentation does just this, a pilcrow with a
> tool-tip ("Link to this heading") when hovering over it

Oh nice --- a precedent!  And one that a fair number of people
will have seen before.  +1 for copying Python.

            regards, tom lane