developer guide: change an "is" to "are"
input files vignette: a bunch of text spelling out the details of input file format; needs editing