Merge main into develop

There's a bunch of merge conflicts addressed here - these were largely caused because of the formatting fixes in main - so please check this somewhat carefully @johannaszepanski and @christinajenks; only the last commit should be relevant.