Merge branch '17-fixes' into 18-new-news
tweak instructions in mods/README
Merge branch '17-mods' into 18-new-news
Merge branch '17-mods' into 19
new date for NEWS
Merge branch '18-new-news' into 19