Old library directory leftovers

Hardware Arduino Zero
3

Ah OK. Did not know the inside details of the IDE.

But yes some general housekeeping might be a good idea. I am not to familiar with the feature request procedure so how to do this?