I don't think that it was a mistake at the time. I think that in retrospect it has been abused, and many of the things that justified it are now possible withou

I don't think that it was a mistake at the time. I think that in retrospect it has been abused, and many of the things that justified it are now possible without it. It should be deprecated and removed. Yes, I know this is a fool's errand. I don't actually expect this to happen.