python3-rich: Rich text and formatting library for the terminal