Rich is a Python library for rich text and beautiful formatting in the terminal.
[live] Restore `sys.stderr` when an exception happens during a refresh
