Re: [Maria-developers] MariaDB plugin package names (in Debian) scheme: mariadb-plugin-<name>