4 ms·

Awesome. It would be nice to have more fonts (DejaVuSansMono please). And to not show the name until the end :)