(You weren’t logged in anyway)
Logging out is simply a way of protecting the privacy of your
personal Table of
Solutions.
You probably only need to log out like this if there is a risk of someone else using the same browser as you. Simply closing the browser has the same effect. If you do neither, Planetarium will eventually log you out anyway with an automatic time-out.