RFR: 8322036: Improve help output from the javadoc tool [v3]

[Nizar Benalla]

On Mon, 26 Aug 2024 10:32:49 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

>> Nizar Benalla has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   - replace backticks with single quotes
>>   - drop use of underscores
>>   - capitalize first letter for "doclet"
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/resources/javadoc.properties line 280:
> 
>> 278: These options are non-standard and subject to change without notice.
>> 279: 
>> 280: main.doclet.usage.header=\nProvided by the {0} Doclet:
> 
> I'm unsure about this one: `{0}` does not necessarily expand to `Standard`.

I can change it back.
By the way I only see it used in the codebase once [here](https://github.com/openjdk/jdk/blob/20d8f58c92009a46dfb91b951e7d87b4cb8e8b41/src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/Start.java#L254) where `doclet.getName()` returns `Standard`

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/20618#discussion_r1731092234