I thought to make @owen.campbell’s suggestion below into a feature request:
Though is it possible to also have a cleaner way of retrieving the error description than err.args[0]? Maybe something like err.description?
err.args[0]
err.description