3 ms·Might be more helpful to make a PR, rather than comment here. It'll take about the same amount of time.by trowawee 10y agoMight be more helpful to make a PR, rather than comment here. It'll take about the same amount of time.