Thanks for your hard work once more, the font is great — and perhaps small enough for me to finally get started illustrating my notes :)
Appreciate the detailed license, but there's one thing I'd like to clarify: Is it alright to convert the TTF font file to other formats? I'd be particularly interested in WOFF and WOFF2 conversions, since that'd reduce the size of the font by quite a bit (~an order of magnitude). Of course, it'd be even better if you could include the other formats as official downloads! Including the three formats (TTF, WOFF, WOFF2) should be a pretty happy medium for web usage.