chiark / gitweb /
Re-add the saving of the user state file when creating a new session.