On Mon, 19 Dec 2016 08:55:27 GMT, Sönke Ludwig wrote:

I think I'll turn the default around and make it output pretty by
default. Version VibeOutputCompactHTML can then be used to output
minimized.

Implemented now: 2db5145

Very nice.