Implement logout option to delete cookie

[JonRoma]

Would it be beneficial to create an option to log out and to delete the login cookie, rather than having to rm the file manually?

[github-actions]

This issue is stale because it has been open 60 days with no activity. Remove stale label or comment or this will be closed in 14 days.

[edthedev]

Talked about this again, today.

[edthedev]

TL;DR: It could be beneficial, in some very specific security contexts - where un-trusted peers can read one's home directory.

May still get to this. In the meantime, would prioritize any pull request.