Merge master into v4
Only merge this MR after !39 (merged).
Closes #31 (closed)
Edited by Wajdi Hajji
GitLab will be updated on 16-Dec-2025 between 12:00 and 14:00. There may be small periods of service instability.
Only merge this MR after !39 (merged).
Closes #31 (closed)