I appreciated that the accessibility thing is called out as the top entry on the list of changes it makes you may want to override. If it's genuinely just munc

I appreciated that the accessibility thing is called out as the top entry on the list of changes it makes you may want to override. If it's genuinely just munching CPU if you don't use it, then turning it off by default with a warning that it's going to do that seems pretty reasonable. (I've not tried their user.js and probably won't, but "realising the accessibility tools thing was important enough to go at the top even if the vast majority of users will care more about other entries in the list" seems like an indication that at least some thought has gone into this)