All fixed! (And it only affected people signing in from two different browsers at the same time, which was actually a pretty small proportion -- which is why it took so long to find and fix the issue.)