3 ms·

Thank you for this. I've made the change, but it looks like it may be several days before github gets around to refreshing the language statistics.