Documentation in MariaDB knowledge base is out of date

Hi, I spent a lot of time trying to figure out how to prevent the AUTH_GSSAPI plugin from being compiled. It appears that the list of plugins on https://mariadb.com/kb/en/configuration-settings-for-building-connectorc/ is out of date – it says the plugin is named AUTH_GSSAPI, when according to https://github.com/mariadb-corporation/mariadb-connector-c/wiki/configuration_options (and reality) it is AUTH_GSSAPI_CLIENT. Apologies if this Jira isn't the right place to file this issue, please forward this to the appropriate tracker if so. Thanks!