gistfile1.txt

Good news, OTF indeed looks better than TTF, but unfortunately it also looks better than WOFF:

Minimal diff that fixed the issue:
```diff
diff --git a/src/css/font.less b/src/css/font.less
index 06916b7..2330685 100644
--- a/src/css/font.less
+++ b/src/css/font.less
@@ -14,9 +14,9 @@
     local("Symbola Regular"),
     local("Symbola"),
     url(font/Symbola.woff2) format("woff2"),
-    url(font/Symbola.woff) format("woff"),
-    url(font/Symbola.ttf) format("truetype"),
     url(font/Symbola.otf) format("opentype"),
     url(font/Symbola.svg#Symbola) format("svg")
   ;
 }
```

This is unfortunate because while I see no issue with ordering the OTF before the TTF (they're pretty close in size), the WOFF is almost half the size of the OTF, and WOFF2 isn't yet supported on e.g. iOS where the size difference has the biggest effect.