Upload to Github of work completed elsewhere in October 2013.