Text this: Asymptotically almost all lambda-terms are strongly normalizing