While this remains one of my favorite bug report threads, I think this can tentatively be marked fixed? I'll do so; we can reopen if it's still out there.
