henry (09/21/82)
Reimplemented text(1) as a shellfile. Can't be done with sed, but I realized the other day that awk could do it.