Merge pull request #43 from knutsel/master

Doc workaround for #42 - download_web_deps by hand