Simon wrote:
it would be better if future bug reporting for this scenario didn't encourage maintainers to implement nocheck incorrectly.
You are absolutely right and I apologize for my mistake. Not just future but also *present*, so I've now added a clarification note to all the bugs I reported before. Thanks.