docs: function onRAgentDestroyed(agentInfo) {
      DEBUG("ragentDestroyed", utils.JS(agentInfo))
      var ragent = session._ragents.get(agentInfo.id)
      if (!ragent) return
  
      session._ragents.delete(agentInfo.id)
      session.emit("ragentDestroyed", ragent)
    }