See `Agent.prototype.destroy` below for hints.