After much deliberation, the conclusion is that there is no good
techincal reason to enforce this, after all, and as such the decision
to deprecate it has been reverted.