I’m surprised there’s no environment variable controlling the 'pref-dir directory, so as to start DrRacket (in particular) with different profiles, possibly at the same time. Don’t core dev need to do something like this?

I may be missing something though. But I had to write a script that moves directories around to simulate this, but it’s very brittle.