The time-out was a terrible hack for marginally better behaviour when encountering #1773, which appears to have been resolved by a previous commit.
The time-out was a terrible hack for marginally better behaviour when encountering #1773, which appears to have been resolved by a previous commit.