That's hardly a showstopper. They could easily remove the proprietary font when open sourcing. I doubt the heavy users of this app are using solely because the

That's hardly a showstopper. They could easily remove the proprietary font when open sourcing. I doubt the heavy users of this app are using solely because the font is beautiful.