[Ada_list] copyright? do we have an opinion