can you ping the mailing list? If everybody agrees it's a bug I would treat
it this way.