3 ms·I'd be very happy to merge such a PR. Do you have a specific use case in mind?by imsnif 7y agoI'd be very happy to merge such a PR. Do you have a specific use case in mind?