When I use the JDBC driver to connect to MarkLogic 11 using something like DBeaver, and I test the connection, I get a nice popup stating some versions. It correctly reports that it is using driver version 0.6, but for unclear reasons it mentions that the server version is 9.1.2. What version number is that, and shouldn't it either report the version of the underlying PostgresQL library on the server side, or just report the actual MarkLogic version?

When I use the JDBC driver to connect to MarkLogic 11 using something like DBeaver, and I test the connection, I get a nice popup stating some versions. It correctly reports that it is using driver version 0.6, but for unclear reasons it mentions that the server version is 9.1.2. What version number is that, and shouldn't it either report the version of the underlying PostgresQL library on the server side, or just report the actual MarkLogic version?