JetBrains Mono: a typeface made for developers