Well, the stuff is there in the code, near as I can tell (didn't look too close at the last build). What about enabling the theme editor area just for the site admins? It's a huge pain going into the server just to tweak a theme for users. So much so, that when I go to edit a theme in any regular WP, I start heading off to the filemanager. sigh.
Yeah, yeah, I know -write a plugin.:) Just tossing it out here instead of leaving it in my brain, where it is quite crowded.