v1.4.2
Merge remote-tracking branch 'origin/documentation' into gh-pages