i love the mono font used in the tables, anyone know what it is?

edit: might be https://www.departuremono.com/