Comment 5 for bug 1756432

> Do we need to continue shipping juju-mongo-tools3.2 in bionic?

> Do we need to continue shipping juju-mongodb3.2 in bionic?

These can presumably be removed, but let's wait for an upstream ack after this change to src:mongodb has landed.

About the rest, what Juju upstream chooses to do has nothing to do with Ubuntu-the-distribution. The request for a core binary package stands on its own as it follows a similar pattern to what is already done in MySQL and MariaDB. It's not Juju-specific either - it's quite a reasonable general request.