Missing documentation for ServiceLoader option for loading Providers

[verhasi]

Describe the bug
A documentation at https://jakarta.ee/specifications/mail/2.1/jakarta-mail-spec-2.1#a240 does not mention the option of ServiceLoader to load a Provider. I see that Angus Mail is RI of the specification so this could be an issue of the specification itself. In this case my question is where I can contribute this proposal to the specifaction.
Until the specification will describe the details it would be a "workaround" to extend the java doc of the Provider at https://jakarta.ee/specifications/mail/2.1/apidocs/jakarta.mail/jakarta/mail/provider to give the details of this option.
Actually the ServiceLoader option was implemented at javaee/javamail@c4e604d five years ago.

To Reproduce
Look at the documentation and they are missing to mention this option.
https://jakarta.ee/specifications/mail/2.1/jakarta-mail-spec-2.1#a240
https://jakarta.ee/specifications/mail/2.1/apidocs/jakarta.mail/jakarta/mail/provider

Expected behavior
Add the ServiceLoader option to the documentation both in the specification and in the java doc of Provider

[lukasj]

moved to jakartaee/mail-api#708