Я сообщил об ошибке, попросив включить расширения Mint Gnome Shell в репозитории Ubuntu. https://bugs.launchpad.net/ubuntu/+bug/898811