5 ms·

You can always open a pull request.