doc: Avoid sidebar element
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".
Branch
--
REL_10_STABLE
Details
---
https://git.postgresql.org/pg/commitdiff/2fa44f666
doc: Avoid sidebar element
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".
Branch
--
master
Details
---
https://git.postgresql.org/pg/commitdiff/00f6d5c2c3ae2f6d