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