Add instructions on how to restart a session

Fixes #653