We can still give this some time if anyone has last minute objections, but in the meantime I’ll mark this as approved for a PR to be created because I can’t imagine any reason we’d not want to make this change.
It’s not very clear to me why this is an issue, if you’re adding a manual exception?