6 ms·You should raise that feature request with GitHub. It's a good idea.by robmen 5y agoYou should raise that feature request with GitHub. It's a good idea.