Just to be clear, Deleting the .desktop file is better than redpill uninstall. (right?)

I figured the games and installers were small. I didn't do this at the time, but you can use the command " ls -s " to see file size. There might be a file manager app that's easier if someone cares to comment.