[Ada_list] copyright: do we have an opinion?