3 ms·

I agree with both of you, but at the end of the day, you can just delete all the unneeded stuff from the /Developer folder.