This recently released font has been gaining popularity thanks to
its readability and aesthetics. It also features font ligatures
(enabled by default, but can be disabled in the Editor Settings).
Its character set isn't as extensive as Hack's, but it should be
sufficient for most uses.
More information at <https://www.jetbrains.com/lp/mono/>.
This also reorders the third-party font notices to be in
alphabetical order.
