remove code for text delta debugging - hasn't worked in a long time