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