Comments for John Lasseter to leave Disney and Pixar permanently at end of 2018, Pete Docter and Jennifer Lee to take on greater roles