On Tue, 2018-07-17 at 14:55 +0200, Robert Munteanu wrote: > Comments/reviews are most welcome, I plan to merge this next Monday.
It's clear from the discussions that there is no consensus on whether this is a good thing or not. I will drop this PR and close the Jira as WONTFIX. There are some good ideas that popped in the thread, but I believe they deserve separate attention. Thanks all for the discussion, Robert
