[jdk20] RFR: 8298893: Rename option UsePolyIntrinsics to UsePoly1305Intrinsics [v2]

[Vladimir Kozlov]

On Mon, 19 Dec 2022 17:07:10 GMT, Volodymyr Paprotski <duke at openjdk.org> wrote:

>> Fix for better documentation. FYI @jnimeh
>
> Volodymyr Paprotski has updated the pull request incrementally with one additional commit since the last revision:
> 
>   whitespace

This late enhancement request for JDK 20 was approved.

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

PR: https://git.openjdk.org/jdk20/pull/49