github is rolling out a new font, mona sans? I noticed this when using snapshot to import it into paper and thought I found a bug. but no, they have "mona sans" in their font family now!