This reverts commit 25decf8f.

As pointed out on the PR, this will hide development mistakes too, which
is not ideal.