После обновления до Ubuntu 23.10 некоторые приложения отображаются в доке в виде значка шестеренки и имеют незатемированные заголовки.

После обновления с Ubuntu 23.04 до Ubuntu 23.10 некоторые приложения, которые я использую (например, TeXworks и DiffPDF, оба установлены из репозитория apt «universe»), отображаются в моей доке Gnome в виде значка шестеренки, хотя правильные значки отображаются при поиск этих приложений с помощью панели поиска действий Gnome.

Кроме того, строка заголовка в обоих этих приложениях больше не соответствует теме Ubuntu Gnome.

Вот снимок экрана, показывающий значки шестеренки в доке и строку заголовка без темы в DiffPDF (окно переднего плана) по сравнению с строкой заголовка с правильной темой в терминале Gnome (фоновое окно).

Буду признателен за любые мысли о том, является ли это ошибкой или можно ли что-нибудь сделать, чтобы это исправить. Спасибо!