It's a long time since i filed this bug report, and I'm pleasantly surprised that it's believed fixed. Thanks for the work :)
Sander -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
