Avoid overlays and messages on stderr that is unrelated to exception handling
#802
| Job | Run time |
|---|---|
| 4s | |
| 7s | |
| 11s |
messages on stderr that is unrelated to exception handling
#802
| Job | Run time |
|---|---|
| 4s | |
| 7s | |
| 11s |