Merge dev into projector-in-terms branch#2102

Copilot wants to merge 2 commits intodevhazelgrove/hazel:devfrom

copilot/sub-pr-2078hazelgrove/hazel:copilot/sub-pr-2078Copy head branch name to clipboard