Yes, good idea to remove the ansi escape sequences for portability. We ought to erase the "//green" comment too.