Rename documentation title.
Merge branch 'master' into TreasureHunter/distribution