News in 45.0, 2023-06-23
------------------------
* User manual: a few improvements.
* Translation updates.