This reverts commit e3aa4cd9. It is a follow-up to b783f70a, which I'm reverting -- see the explanation in that revert.