Aha! Now with that, I was able to duplicate the problem - indeed, when you use the "plain" URL it says I'm not logged in. I then clicked on "Main Index" to refresh it, and then I was logged in. Interesting behavior!