Hi all,
All the tools mentioned in $subject have been switched recently to use
the central logging infrastructure, which means that they have gained
coloring output. However we (mostly I) forgot to update the docs.
Attached is a patch to fix this issue. Please let me know if there
are comments and/or objections.
Thanks,
--
Michael