On Wednesday, October 16, 2024, Bruce Momjian <
bruce@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.