12 ms·

I think it's already this way right now. Look at the scrollbar height on the screenshot in the article.