Patch V5.2.4 has just be deployed and becomes the new "latest stable release".

It fixes some minor residual issues and integrates the update of user manual conform to V5.2.