Нет панели инструментов в gedit

Я нахожусь под Ubuntu 20.04.02, использую Gnome 3.36.8.

Мой gedit (версия 3.36.2) не имеет панели инструментов. Согласно this (от 2016 года): 1) это часть "нового облика" gedit (см. также this), 2) об этом уже спрашивали, 3) есть обходной путь через ppa, который "обманывает" понижение версии gedit, 4) для тех, кто не хочет "понижать", предлагается форк gedit под названием pluma.

На сегодняшний день (2021) есть ли способ получить панель инструментов в gedit?
Я не нашёл никаких настроек dconf для этого в org.gnome.gedit.preferences.ui,

Related (в основном примерно с 2016 года, когда произошёл переход):

1. Где находятся настройки gedit?
2. Строка меню отсутствует в gedit
3. верхнее меню gedit невидимо при запуске из терминала и использовании x11-Forwarding
4. https://ubuntuforums.org/showthread.php?t=2326742
5. https://www.linuxquestions.org/questions/linux-software-2/gedit-has-no-menubar-4175591052/