Seems like a good idea. If Starswirl the Bearded was a pretty big deal, a musical about his life is the least that ponies can do. Especially if it strikes a good balance between historically accurate and entertaining.