Hello!
I noticed a difference between v13 and v14 DROP EXTENSION pages, and v14
looks better to me so I prepared a small patch to apply to the v13 page.
Please take a look.
--
Ekaterina Kiryanova
Technical Writer
Postgres Professional
the Russian PostgreSQL Company