For completeness, the url is: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=263084
Hey that's excellent! Thanks for posting it, Amaya. I hadn't noticed all that activity on the bug in the last day or so. Thanks also to those who are helping to fix that bug, if any of you are watching.
It's nice to feel that the system works :) Helen.