[FEATURE]: Make codebook work offline (Zed)

[lukejans]

Feature Description

It would be nice for Codebook to work in Zed when you aren't connected to the internet. Currently, when I have no internet connection, Codebook will fail to run and will not spellcheck code. I get the below message when running Codebook offline.

Language server codebook:

from extension "Codebook Spell Checker" version 0.1.11: Failed to fetch latest release: error fetching latest release

Caused by:
    0: error sending request for url (https://api.github.com/repos/blopker/codebook/releases)
    1: client error (Connect)
    2: dns error: failed to lookup address information: nodename nor servname provided, or not known
    3: failed to lookup address information: nodename nor servname provided, or not known

Use Case

I often use Zed offline, and it would be great to have spell checking offline too.

Proposed Solution

I'm not sure if the codebook extension stops working because it actually requires an internet connection to run or because it attempts to fetch the latest version. If the latter is true, maybe we can set up some way to see if there is an internet connection and only check for updates when connected to the internet.

Alternative Solutions

No response

Examples

No response

Additional Context

No response

[blopker]

Hey! This is a real issue. The core logic for the extension was lifted from the official Ruff extension, which also suffers from the same issue. Zed has built in some convenience methods for downloading binaries from GitHub, but stops short of handling the more complex logic, like this.

I'm working on a more complex implementation that can fall back to an existing binary if the update check fails. After that, Codebook itself does handle network outages gracefully, so that should work already (as long as the required dictionaries are already cached).