3 ms·

Maybe with the font size dictated by something like a 6-month distrowatch ranking (or something based on harder metrics).