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

[Christian Hagedorn]

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

Marked as reviewed by chagedorn (Reviewer).

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

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