Why are these CodeMirror addons added automatically with themes? Is there some connection between themes and these addons?

If there is some reason why we must enable these addons, we should do so in the main place where we enable CM addons (which I don't know offhand, but I'm sure it's there somewhere :grin:)