Let's mark this WONTFIX. The actual issue does not exist any more, and this just looks like another one of those "eternally open, never processed further" issues.