Saved and published documentation for release 20200123.

2 jobs for master in 26 seconds (queued for 1 second)