Restate documentation