fix hypothetical bug (not presently active)
Merge branch '17-fixes' into 18
different fix for hypothetical bug, add 2014
Merge branch '17-fixes' into 18
more tweaks to mods/README
Merge branch '17-mods' into 18