Release 3.42.0, 2022-11-02
--------------------------
* A few minor improvements.