Merge origin/main into naming, resolve conflicts with module rename

main

Commit

copilot4mo ago