5 Things You Might Not Know About the 'Star Wars Holiday Special'