Hello David, that was not the link I sent in my mail, I sent a plain link to bugs.debian.org. Maybe you are viewing my mail via google webmail client, and that is adding something unwanted? Kind regards, Bernhard