5 ms·

i love the mono font used in the tables, anyone know what it is? edit: might be https://www.departuremono.com/ https://www.departuremono.com/