reassign 413831 lists.debian.org thanks I agree that we should fix this if possible, and in any case ensure that our documentation on the tech-ctte web page matches reality. Bdale