Mostly vanity.
OK
Merge branch 'master' into deploy
Comitted after merge with 'make deploy'