remove some old text-processing code