> Hmm, a pull-down menu with i386 as default would be nice, but this needs > either JavaScript or a small server-side redirection script to work... :-/ > Maybe the web pages should display the pull-down menu if JavaScript is > supported, and 11 separate links if it isn't? LOL. I haven't seen javascript in any d.o. page, and it would be *really* nice if it stays this way. A simple unordered list will do the job gracefully.