Comment by nottorp

On a tangent, since it's called JetBrains Mono I guess it's JetBrains' IP?

Is it even legal to use it in $RANDOM_WEBSITE?