We might use oneI'm sure there is already a function in IPython itself that does it. and it would even be great is this could convert the ansi-tag to the right color in the given format, but this con be another PR.