I was still logged in. I just went and did the "log out all my active sessions" thing just for good measure, even though I didn't see anything unusual there.