Gregory's Server@witt my dude I'm gonna be honest, I just googled "nerd font", and I'm not sure I fully understand it. So unfortunately no, there isn't.
But the font is CC0, so if you wanna make one (?) feel free!
Drop me a link and I'll add it to the forks list if you do.
@datagoblin You're completely fine lol I'll just patch it and send it to ya :dragnheart: