I&#x27;ve created a ticket: <a href="https:&#x2F;&#x2F;github.com&#x2F;sagemathinc&#x2F;smc&#x2F;issues&#x2F;418" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;sagemathinc&#x2F;smc&#x2F;issues&#x2F;418</a>
(Nobody has complained about the sign out process before, so I haven&#x27;t prioritized it.)