New option --dump-single-json (#4003)