Catch std::exception (instead of a more specific TextException) to catch
more exceptions. We do not care what exception we actually caught anyway.