Title: Addendum/README
Author: Claire Le Goues, clegoues@cs.cmu.edu
Date: February 18, 2017

See the end of the ManyBugs README, one directory up, for details on this
subdirectory.