[Brian]

Folks will be happy to know that the bug in question was fixed internally on Oct 8 - the fix will go out in our next release.

I don't have info on when the release will go out beyond "soon", but I figured folks would prefer partial info to none, since the news was good. :-)