Dr_Manhattan comments on Some alternatives to “Friendly AI”