It was back in the days when Disney animation was encountering big changes, and the most successful family movies weren’t coming from the House of Mouse anymore: they were the likes of Star Wars or Raiders of the Lost Ark, from other studios.