May the Fourth be with you! A clever Star Wars pun has turned into a holiday for fans of the franchise, but exactly how it got started is still a bit of a mystery.