docs: def split_interface(intf_name):
      """Split an interface name based on first digit, slash, or space match."""
      head = intf_name.rstrip(r"/\0123456789. ")
      tail = intf_name[len(head) :].lstrip()
      return (head, tail)