Rebuild gh-pages for 4.2.0 release