Hi team, especially Stefan: your thorough investigation about a better name than range-diff gives me confidence that my decision to retract my objection against has merit: it seems to be by far the one name that everybody but me agrees on. And I can adapt easily. On Sat, 26 May 2018, Øyvind Rønningstad wrote: > Just want to throw my support in for range-diff since ranges is what you > pass to the command. `range-diff` it is. Ciao, Dscho