Coin3D version: 4.0.1

Release date: Nov. 19, 2023