docs: def split_cmdline(cmdline):
      """Return path, cmd and arguments for a process cmdline."""
      path, cmd = os.path.split(cmdline[0])
      arguments = ' '.join(cmdline[1:])
      return path, cmd, arguments