Наконец-то я разобрался, как настроить навигацию в боковой панели. Это оказалось проще и сложнее, чем я ожидал.
Поиск в настройках по слову «sidebar» не помог.
В разделе тегов на боковой панели есть ссылка «настроить значения по умолчанию», которая ищет в настройках параметр default_navigation_menu_tags, но аналогичной ссылки для категорий нет. Через несколько минут стало «очевидным», что можно изменить поисковый запрос в настройках сайта на default_navigation_menu и увидеть, что существует также параметр default navigation menu categories! После этого всё пошло как по маслу.
Простым решением было бы сделать так, чтобы ссылка «настроить значения по умолчанию» вела на default_navigation_menu, чтобы можно было увидеть настройки по умолчанию как для тегов, так и для категорий. Другой вариант — добавить ещё одну ссылку «настроить значения по умолчанию» под разделом категорий, ведущую к настройкам категорий по умолчанию, но, думаю, мне больше нравится первое решение.
Ещё одна идея — чтобы всплывающее модальное окно на кнопке «Настроить этот раздел» вверху либо включало эти настройки, либо содержало ссылки на них.