On Wednesday, October 16, 2024, Bruce Momjian <br...@momjian.us> wrote:
> > Where are we on this? I still see "#". > > We should document what we are doing in Conventions. The hover stuff is a nice usability add, if a bit limited on mobile. My +1 as well to matching Python with the pilcrow symbol. David J.
