Success after fussing around trying to get a newer version of Arduino IDE, I discover a bunch(25) of arduino-1.0.1 files. I must have created those during my older attempts. The GUI package manager knows nothing of those. What is the safe way to purge them from my system? Can I just delete them? Thanks, -Denis