So is it illegal to host the Menlo font on github? It's my preferred monospace font, but can be sometimes hard to find and there several "open" copies. That claim to not be encumbered. Isn't there also "non-free" font repos in debian?