Advertised port is 9070. Actual port is 3000.

[hosford42]

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.