Actually, maybe `colorized_formatted_backtrace` is even better as that's explicit that it's both colorized and formatted.