Here you can see the server saying it's on port 9070:

But the browser and pycozo can't find it there:


Instead they find it on port 3000:


I'm using the precompiled binary cozo-0.7.6-x86_64-pc-windows-msvc.exe from the latest release, v0.7.6 on 12/11/23.