Update: after a fascinating debate on the mailing list (though not quite as wide-ranging as the one here:), the existing behaviour has been clarified as deliberate and desirable, and the documentation, code and tests have been amended to reflect that.