I didn’t know that, thanks for letting me know. I don’t think I logged out, unless maybe I accidentally triggered that in my pocket.

I figured it was worth posting because I get relatively uneasy when unexpected things happen, and if others were also affected then I could just justify it to myself as a server side thing. In fact, what you just told me about logout being global is already very helpful, so I guess it wasn’t for naught. :)