On Tue, Jun 25, 2019 at 10:33 AM Lars Ingebrigtsen wrote: > I think the rough consensus was that adding this special-casing to this > command wasn't idea, so I'm closing this bug report. > OK.. that's fine.