На догадке я снова включил «У менеджеров файлов обрабатывать рабочий стол» под «Рабочий стол в дополнительных настройках» (gnome-tweak-tool), и снова появилась тень панели. Я не понимаю, почему эти два связаны.