Re: [aur-general] Naming issue of mysql-shell and (possibly) request for adoption