I got bitten by a Mac bug a couple of months ago: The latest version of Docker desktop didn't work for something (don't remember anymore) so I had to revert to

I got bitten by a Mac bug a couple of months ago: The latest version of Docker desktop didn't work for something (don't remember anymore) so I had to revert to a previous version and work in that for several months now.