Подскажите ещё, пожалуйста, какие пакеты отвечают за внешний вид. При загрузке после обновления до p9 в левом нижнем углу не хватает кнопки "Пуск". Я подумал было, что не загрузился пакет mintmenu, попробовал установить его с консоли (apt-get install mintmenu), но говорят, что его нет: "Couldn't find package mintmenu".
Кстати, в workstation-9 кажется проблема с qgis-3: после установки не поддерживает python, следовательно, значительная часть функциональности этой программы становится недоступна.