I think the best way is to *remove* the debian.html completely. Good with me, but can someone provide a stable debian url that I can make it redirect to, and use on tug.org/texlive/distro.html? --thanks, karl.