A whole lot more about the “Star Wars” Holiday Special.