Not a duplicate?

We list io.github.jonathanfischer97/juliadoc-mcp-1b5p2a as a copy of io.github.jonathanfischer97/juliadoc-mcp-2d7d72, so its page leads there. If it is a server of its own, tell us. A person checks it, and once we agree it gets its own page back.