> Installed. > > (I would recommend to remove the trailing /libre from the site, Robert.) As discussed, the URL http://libre.adacore.com is valid and is the one that should be referenced from other sites. The redirection to /libre is due to the recent redesign of the site and would not be, for technical reasons, practical to change. Arno