Comment by csande17

IntelliJ IDEA has this feature: https://www.jetbrains.com/help/idea/reader-mode.html

In addition to ligatures, you get IMO a better version of the "Mix & Match" idea: doc comments are rendered as normal proportional text.