This version, released on 19-JUL-2022, has the following changes:

Improvements

Bug fixes