[Ada_list] copyright and academics