[racket-dev] code coverage coloring

Can't comment on option (b), but option (a) is what I was thinking of.

Isn't the "tricky UI question" already present, because a language
info can set some of the very same things in the details pane?  I
didn't see this particular option introducing a new problem that was
not already there.

One thing is it'd be nice to make these things "work" even in textual
mode (for shell/Emacs users) -- things like coverage coloring
presumably just get ignored in that case, as opposed to the code not
running at all because of a MrEd dependency.

shriram