Question about current handling in $mceInit array.

I was working on filtering the TinyMCE initialization options via the tiny_mce_before_init hook, but I discovered the data for the format options is stored as a single javascript code string rather than a multi-level array. I found this slightly annoying because I was hoping to be able to edit a few parts of the option, not the whole thing.

I’ve skimmed over the code and can’t really understand why it would need to be this way; in particular why the whole array is manually constructed into javascript rather than into JSON.

I’m interested in submitting a patch for this to resolve these issues I have, but I wanted to check if I’m missing something as to why it’s currently done this way first.