[mikae1]

Nope, has nothing to do with https://github.com/zed-industries/zed-fonts

I think this ended up on the front page because people instinctively upvoted Zed-something.