It should be possible for haku to emit diagnostics with rich text, and then for the rkgk frontend to render that. Then we can begin a Diagnostic Makeover,™ where we look through diagnostics and make them more easy to read.