I wasn't sure if you were quoting the maintainer here, or asking me this question. Regardless, my coding days are largely over. Heh.

But this hard line by the maintainers is ... naive, IMHO. There are tons of scenarios where a robust editor is not used for production development (this whole thread is an example of that). And hell, just wrapping the option in tons of warnings and caveats should be sufficient. (Putting on my ex-product-manager hat for a moment.)

Oh well. The work-around is for me to push the CSS to a website. Not a huge deal for me (though if you are troubling-shooting CSS through rapid cycles of trial-and-error this is a major PITA) but often folks don't maintain a website. Or they don't have an easy way of deploying arbitrary CSS somewhere.

Anyway. I said my piece. Thanks for looking into it.