Incorrect default_branch_protection Groups REST API documentation

https://docs.gitlab.com/ee/api/groups.html#options-for-default_branch_protection states that option 4 (i.e. Fully protected after initial push) for the default_branch_protection group option allows users with the Developer role to accept merge requests. This appears to be incorrect:

• the corresponding test for this at https://gitlab.com/gitlab-org/gitlab/-/blob/master/spec/lib/gitlab/access/branch_protection_spec.rb#L44 asserts Developers can't accept merge requests for the given option
• the Protect initial default branches documentation makes no statement that the resulting branch protections of Fully protected after initial push option will allow Developers to accept merge requests