Comment 5 for bug 1726173

Great that it worked. Actually this kind of problem has been reported several times before, which is the reason why I marked this report as a duplicate bug.

One thing I see is that there seems to be room for cleaning up your disk from unneeded packages by running the command:

sudo apt autoremove

(That command will take quite some time to complete.)