Removed another non-existing app, setting
Experimented with different TinyMCE settings.
Still a mystery why TinyMCE.js doesn't load an advanced theme.
Maybe the Dj plugin doesn't load it? Must investigate.