On Sun, 7 Oct 2018 19:40:41 +0200, Ralf Mardorf wrote:
>It's overkill, but consider to do it anyway:
>
>1. Reboot
>
>2. Open a terminal and run
I've forgotten to make the overkill complete, first run
sudo apt clean
or
sudo sh -c "rm -Ir /var/cache/apt/archives/*
> sudo apt autoremove
> [snip]