[MariaDB discuss] Which Mroonga version is being used?

Is there any way to check which Mroonga version is installed/being used? The GitHub repo shows commits from a few weeks ago in storage/mroonga, but running SELECT * FROM information_schema.PLUGINS; lists 7.7 as PLUGIN_VERSION, 1.15 as PLUGIN_LIBRARY_VERSION and 7.07 AS PLUGIN_AUTH_VERSION. So, which is it? Surely its not Mroonga 7.07 from 2017...