Thanks to Wuzzy for all of these.
Also reverted a couple of places where 1.19's change from "default has
six factions" to "default has seven factions" had leaked into 1.18.
s1m0n was in the credits for 1.16, but that was missed when his contributions
were copied to master. Fix that, along with adding his latest updates.
The fuzzy flag in -wof probably got readded by mistake when rebasing.