That same file is also detected by Windows Defender in the zip file.
When the zip file is unpacked and the directory is scanned
Affected items: file: E:\Web\zc200_test\public\includes\modules\product_prev_next.php.

I had already unpacked and installed v2.0.0 before the posts alerted me to the issue.