Dear mentors, Please disregard this thread, I filled in a proper RFS bug report (#676646) with largerly identical content. The new location of the package is mentors.debian.net, though. -- Regards, Feri.