Good question. FWIW, this is http://bugs.debian.org/179489 , which seems not to have gotten a response. -- Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org) Finger amu@monk.mit.edu (NOT a valid e-mail address) for more info.