Guess I ought to generate the new txt too...