Rich is a Python library for rich text and beautiful formatting in the terminal.
console: Update docstring for print_exception