Scratchpad lives in the development-scratchpad repository under ~/Data/Scratchpad/remora and is linked as scratchpad/ for local spikes.
Keep model-check working trees out of the remora repository.
