Server Not Found

The server "pdf-tools" in organization "io.github.therealmrfunguy" could not be found.