Logout button #377
Description
There should be some straight-forward way to log out (i.e., delete ID cookie), separate from quitting.
{{ message }}
There should be some straight-forward way to log out (i.e., delete ID cookie), separate from quitting.