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