> Nice to have something tuned that "just works" as opposed to being able to set your system font to comic sans for pure vaingloriosity. Why not have both? A

> Nice to have something tuned that "just works" as opposed to being able to set your system font to comic sans for pure vaingloriosity. Why not have both? A sensible default for people who share your preferences as well as the ability to change things for people who want something else seems reasonable.