Apply all changes from Configura to the public MPS.#76

gareth-rees wants to merge 3 commits intomasterRavenbrook/mps:masterfrom

branch/2022-01-23/cet-merge-2Ravenbrook/mps:branch/2022-01-23/cet-merge-2Copy head branch name to clipboard