Hi folks, it would be nice if you could update the ports web page for ia64.
https://www.debian.org/ports/ia64/ links to two HP url which do not provide any useful information. There's no link to the installer ISO which may be usefull for our users. The web page https://www.debian.org/ports/ia64/news is very old and outdated and all links to gluck.debian.org do not work any more. Maybe just remove this "News" from 2001-2003. If there's a more up-to-date wiki page for this port, we should just link to this page. -- reagrds Thomas from the Debian web team
