Comment by corbet

Nobody has ever asked us to do that; I take it you would prefer a larger line spacing?

If nothing else, we can easily add a customization option for that.