merge main into develop
This PR merges main
into develop
as to update the develop branch with the latest changes:
- the updated documentation
- the updated link to the license
Edited by Martin Fontanet
This PR merges main
into develop
as to update the develop branch with the latest changes: