Checking in commented code. Should we just call the full logout procedure here or just clear the cookie?