Subject: SET ROLE documentation improvement

From: Yurii Rashkovskii <[email-masked]>
Date: Fri, 15 Sep 2023 11:26:16 -0700

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.