[robmen]

You should raise that feature request with GitHub. It's a good idea.