docs: def split_cli_ids_arg(value):
      """
      Split ids given in the command line
      Possible formats are:
      * 1
      * 1,2,3,4
      * 1-5,20,30,40
      Returns respectively
      * set([1])
      * set([1,2,3,4])
      * set([1,2,3,4,5,20,30,40])
      """
      def parse(el):
          el = el.strip()
          if not el:
              ret = []
          elif '-' in el:
              start, end = el.split('-', 1)
              ret = xrange(int(start), int(end) + 1)
          else:
              ret = [int(el)]
          return ret
      return set(chain(*(parse(c) for c in value.split(',') if c.strip())))