For some reason that I don't know, CodeMirror was completely disabled in doc.t.o.

I've re-enabled it while keeping it with the option "off (but switchable)", so that it doesn't affet users with any bug still present (like from smartphones, where there is some annoying bug), but allows users in computers to keep using it normally upon their desire (offering them a link to enable the coloring in their editing session), while also allowing to hightlight in different colors the code sections in doc.t.o

If it needs to be totally disabled, I'd appreciate getting the change reported in this blog and getting the rationale behind the change explained.