[Ada_list] copyright / relevance