The links to the logos, banners and mirrors are not needed because we have them also on the devel page. -- regards Thomas