Indeed, it looks like others have had the same idea - sorry for the uninformed comment.
For anyone else who finds this later,
This seems to be the main thread for bug reports:
Bug & Issue Reporting
while these are earlier ideas, which should probably feed into it:
GitHub -...