Why does Red Hat render fonts thicker (and arguably better)?