@Gargron That battle has been lost about 40 years ago. It will just be called AI from now on. Those who can‘t accept it will be forgotten in the same corner as the "it‘s not <the internet>, it’s called <the World Wide Web>" guys.