Having seen everyone's responses to this, and the TC decision in 727708, I think there is no useful work item represented by this bug. Certainly nothing that should be on the TC's agenda.
So I'm closing this clone of 727708, which I made earlier. Thanks, Ian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]

