On 10/14/19 7:10 AM, home user wrote:
This is a 3rd-party application that you installed manually.
Can I remove all these without causing any problems with the
or rescue options in the grub menu?
Since they're not causing you any problems and removing them won't get
you much space back, is it worth the effort to weed them out?