OK I misunderstood the description of the Kill message in the actors doc, which is currently: "You can kill an actor by sending a Kill message. This will restart the actor through regular supervisor semantics." I've read the code to check the meaning and rewritten the explanation so it's clearer (to me at least).