@Sergio: It's already closed as regards ding. What's open is the original gnome-shell-extension-desktop-icons package for Ubuntu 20.04.
@Sergio: It's already closed as regards ding. What's open is the original gnome-shell- extension- desktop- icons package for Ubuntu 20.04.