[knuthsat]

I used Intellij years ago on Linux, nice to know that they improved font rendering. It was really ugly back then.