I tried that fix too, without success: Docker won't run. If you need details, I'm here to provide them.

I made little progress: https://github.com/docker/for-mac/issues/7520#issuecomment-2817228838