@pao, are you just suggesting `Pkg.add("Profile")` would clean up if it encountered an error, but `Pkg.add("Profile", true)` would keep it around? If that's what you mean, then it's not worth arguing about any further, I'm fine with that.