Bug was resolved by the maintainers. I guess this bug can be closed now.
Attachment: pgpdkV1V2rUQ4.pgp Description: PGP signature