CREATE ROLE inheritance details

I am unhappy with the documentation adjustments made to CREATE ROLE in
Postgres 16 by this commit:

	commit e3ce2de09d
	Author: Robert Haas <rhaas@postgresql.org>
	Date:   Thu Aug 25 10:06:02 2022 -0400
	
	    Allow grant-level control of role inheritance behavior.
	
	    The GRANT statement can now specify WITH INHERIT TRUE or WITH
	    INHERIT FALSE to control whether the member inherits the granted
	    role's permissions. For symmetry, you can now likewise write
	    WITH ADMIN TRUE or WITH ADMIN FALSE to turn ADMIN OPTION on or off.
	
	    If a GRANT does not specify WITH INHERIT, the behavior based on
	    whether the member role is marked INHERIT or NOINHERIT. This means
	    that if all roles are marked INHERIT or NOINHERIT before any role
	    grants are performed, the behavior is identical to what we had before;
	    otherwise, it's different, because ALTER ROLE [NO]INHERIT now only
	    changes the default behavior of future grants, and has no effect on
	    existing ones.
	
	    Patch by me. Reviewed and testing by Nathan Bossart and Tushar Ahuja,
	    with design-level comments from various others.
	
	    Discussion: http://postgr.es/m/CA+Tgmoa5Sf4PiWrfxA=sGzDKg0Ojo3dADw=wAHOhR9dggV=RmQ@mail.gmail.com

It seems to have removed important details about how inherit works
beyond GRANT.

Using the attached script, test_inh.sh, I generated SQL queries
contained in attached file test_inh.sql, and this generated this output
showing that the inheritance setting of the role being added as a member
controls the inheritance status of the membership:

	     rolname      | Is member of role | inherit_option
	------------------+-------------------+----------------
	 init_1_noinherit | user_1_inherit    | f
	 init_1_noinherit | user_2_noinherit  | f
	 init_1_noinherit | user_3_inherit    | f
	 init_1_noinherit | user_4_noinherit  | f
	 init_2_inherit   | user_5_inherit    | t
	 init_2_inherit   | user_6_noinherit  | t
	 init_2_inherit   | user_7_inherit    | t
	 init_2_inherit   | user_8_noinherit  | t
	 user_1_inherit   | init_3_noinherit  | t
	 user_2_noinherit | init_3_noinherit  | f
	 user_3_inherit   | init_4_inherit    | t
	 user_4_noinherit | init_4_inherit    | f
	 user_5_inherit   | init_3_noinherit  | t
	 user_6_noinherit | init_3_noinherit  | f
	 user_7_inherit   | init_4_inherit    | t
	 user_8_noinherit | init_4_inherit    | f

I have attached a patch to re-add this information, and clarify it.  I
would like to apply this to PG 16 and master.

-- 
  Bruce Momjian  <bruce@momjian.us>        https://momjian.us
  EDB                                      https://enterprisedb.com

  Only you can decide what is important to you.