Forwarded to debbugs, for the archives.