3 ms·

I missed it as well. It's a bit confusing how the Github interface doesn't show the extension easily when the file name is too long.