Mention server (and possibly shell) restart?