Então, uma nova versão do "gnome-shell-extension-desktop-icons" foi lançada com recursos que eu quero, como poder arrastar arquivos com o mouse para o navegador. Mas quando instalei a extensão, eles ficaram alternando de um para outro e não consigo desinstalar o antigo do site. Alguém sabe como substituir completamente o antigo?
Velho: https://extensions.gnome.org/extension/1465/desktop-icons/ Novo: https://extensions.gnome.org/extension/2087/desktop-icons-ng-ding/