Looking for the font of these screenshots of code

[Member Doo…]

Hello!
I recently saw some screenshots in a Discord server and I would like to know what is the font used there.

I messaged the person that sent them but I didn't get any reply from him. I think she/he is not using Discord anymore.

Tips that could help one recognize what font is it
* the curvy letter `l`

* The & that is half cut

* the dotted zero

* the up aligned *

* the letters i,g,a

Thank you !

[Member Ric…]

Bitstream Sans Mono or one of its derivatives (except for Menlo):

Deja Vu Sans Mono sample via type.dt1.org

[Member Doo…]

Thank you