Saved and published documentation for release 20200624.

2 jobs for master in 20 seconds (queued for 3 seconds)