Pretty-print diagnostics