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

[Tobias Hartmann]

On Fri, 16 Dec 2022 19:14:07 GMT, Volodymyr Paprotski <duke at openjdk.org> wrote:

> Fix for better documentation. FYI @jnimeh

Looks good to me. Just FTR, I think such flag renamings are non-trivial and therefore require two reviews before integration.

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

Marked as reviewed by thartmann (Reviewer).

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