philip.mcgrath2018-11-27 21:47:28I would guess this doesn’t affect DrRacket on Mac when launched through the GUI for the same reasons as the PATH issues. Is that right?