Just writing data

Inconvenience:  we have to put the data file *outside* of the
repository or else git thinks changes need to be committed.