user/jszakmeister: cope with 8-color terminals better