Hi,
I believe SET ROLE documentation makes a slightly incomplete statement
about what happens when a superuser uses SET ROLE.
The documentation reading suggests that the superuser would lose all their
privileges. However, they still retain the ability to use `SET ROLE` again.
The attached patch adds this bit to the documentation.
--
Y.