Ok, I was completely defeated by the UI. It seems the settings were not ‘optional’ at all, and that the reference to 8000/tcp was not the default value that would otherwise be used. I had to open the section and type 8000 and then it works fine
Of course it was, but optional does not mean you never need it. It means you can use it when you need it, and not all containers require port forwarding.
After playing with Docker Desktop’s GUI, I recommend learning about Docker Compose and the command line, since not everything can be implemented in the UI without making it so complicated that it is not as easy to use as now.
And keep in mind that Docker Desktop always runs a virtual machine and containers run in that, so not everything will work as in tutorials talking about Docker CE.
Recommended links to learn the basics and concepts: