The release on July 30th, 2020 includes the following fixes and enhancements: