what font is used in the example gifs on the main page

[bsdmp]

What font is used in the gifs on https://github.com/joaotavora/eglot? For example on this one https://github.com/joaotavora/eglot/blob/master/gif-examples/eglot-xref-find-definition.gif (they're all the same).

[rrudakov]

Looks like terminus

[joaotavora]

either that or misc-fixed. I don't remember any more