At this late date, I don't recall whether I edited it in or not. If I did, it was not too much after I originally posted it.
Furthermore, it is consistent with what I am still saying, namely, that for all the complaints about Pinochet. The alternative would probably have been worse.