In the properties table the duplicate entry for the new mysql-property-skipped-operations property results in the following non-blocking Antora build error:

asciidoctor: WARNING: mysql.adoc: line 2493: id assigned to anchor already in use: mysql-property-skipped-operations