Generated docs for the remote debugging protocol