rtfetch: coloring magic!