It was left over changing the verifier version after the final release. After each new release the product.docs.server.version and verifier.product.release.version properties should be changed as well.