Text this: LFPL: Revisited and Mechanized