Merge remote-tracking branch 'remotes/pmaydell/tags/pull-docs-20200203' into staging