> But really this needs to be fixed and the old page removed so as to not confuse people. Old page removed? The /deb page now counts for Ubuntu users (like me) so that wouldn't be a very good idea.