«Hide Top Bar» Расширение GNOME Shell делает значки верхней панели на рабочем столе

Подобно тому, как автоматическое скрытие панели позволяет скрывать значки на рабочем столе , Hide Top Bar, которая автоматически скрывает верхнюю панель, делает так, чтобы оно закрывало значки на рабочем столе.

Я бы хотел, чтобы значки по умолчанию находились в позициях, не покрытых верхней панелью. Я также заметил, что он слегка поднимает док, что мне не против. Как я могу это исправить?

Я добавил проблему на его страницу GitHub: вот проблема .