Comment 8 for bug 1811717

Problem solved after installing new:
corrado@corrado-p5-dd-0115:~$ apt policy gnome-shell-extension-desktop-icons
gnome-shell-extension-desktop-icons:
  Installed: 19.01-1
  Candidate: 19.01-1
  Version table:
 *** 19.01-1 500
        500 http://archive.ubuntu.com/ubuntu disco/main amd64 Packages
        500 http://archive.ubuntu.com/ubuntu disco/main i386 Packages
        100 /var/lib/dpkg/status
corrado@corrado-p5-dd-0115:~$