docs: def order_by_line_nos(objs, line_nos):
      """Orders the set of `objs` by `line_nos`
      """
      ordering = sorted(range(len(line_nos)), key=line_nos.__getitem__)
      return [objs[i] for i in ordering]