For the record, libre@adacore.com does not exist anymore. I have filled the contact form in the web page.