Sync of gh-pages with master

Can't this be automated?