> in addition to that, on that very page the link marked "Back to the > Debian GNU/Linux homepage" actually does nothing but take you back to > exactly where you are ... > Fixed. It should be mirrored to www.debian.org by 1200 GMT Tuesday. Jay Treacy