Bugfix: Deleting from the implementation cache in $HOME using the GUI didn't