mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-09 16:47:37 +08:00
The formatting of the sidebar element didn't carry over to the new tool chain. Instead of inventing a whole new way of dealing with it, just convert the one use to a "note".