Changed interface
.txt extension ignored by git

The .txt extension is reserved for program input files (i.e. prosamm
reading material, Wikipedia articles, etc.). These should not be
committed.