To be clear: when I opened the onion URL afterwards, I was logged in as expected