Comment 2 for bug 1782641

Dimitri, thank you for laying out the rationale behind the package name.

Since there is good reason for things to be the way they are here, I've opened a bug on the Debian side for them to address the naming inconsistency:

    https://bugs.debian.org/904152