We consider the current JavaScriptCore protected set to be something
deprecated that we’d like to eliminate. We have been steadily
decreasing the number of uses of it. All other things being equal, I
think it would be good to keep the new mechanism separate.
-- Darin