History awklib/eg/misc/findpat.awk