that would make possible adding JS/CSS customization directly from a new prefs page to the user's custom JS and CSS pages, among many other things. I think...