[#425,doc][s]: copy doc folder back to master from gh-pages - fixes #425.