Remove the obsolete text.pl.
[remoteglot] / externs /
2014-11-24 Steinar H. GundersonClean up the minification stuff a bit; still not really...