Logging out isn't *necessary* because there isn't any path where the user is at this moment logged in (whereas in `unlocked_asset` there is). But clearly this is still bad practice, since adding more code might break that - I'll add a prophylactic `logout`.