(TXT) Frankenfile
 (TXT) driver-GPL.txt
 (TXT) driver-LPPL.txt
 (TXT) driver.tex
 (TXT) extractor-GPL.txt
 (TXT) extractor-LPPL.txt
 (TXT) extractor.ins
 (TXT) part-1-GPL.txt
 (TXT) part-1-LPPL.txt
 (TXT) part-1.dtx
 (TXT) part-2.dtx
 (TXT) part-3.dtx