document that ctrl-d also logs out.