They are "retiring" Darwin and will be replacing him with someone else anyway. May as well make it Alan Turing.