For all of us font geeks, the story of Petrucci (not 16th century Ottaviano, but rather the first Finale music font)