I just tried to retrieve tds-html.tar.gz from /incoming on dante, and got permission denied. Can you just send me the texinfo source? That's all I care about. Thanks.