It would be a big change to switch to this by default, but if makes sense then we certainly should.

Does the test suite pass with this change? `python tests/runner.py default` and `python tests/runner.py other` should be enough to tell.