docs: improve editor setup and installation pages

- Reorder nav: Editor Setup before Manual Installation, since most
  editors auto-install PHPantom.
- Split editor setup into Automatic Installation (Zed, VS Code) and
  Manual Installation sections so users can quickly find their editor.
- Convert editor and agent setup pages from HTML <details> dropdowns
  to proper markdown headers for better navigation and rendering.
- Clean up PHPStorm instructions (remove redundant download step).
- Restructure installation page with Latest Release (tabbed), Latest
  Main (cargo install --git for testing fixes), and Build from Source.
- Add cargo-binstall as an installation option.
- Remove redundant Zed binary note (covered by section intro).
- Remove navigation.expand so sidebar sections start collapsed.

Author: calebdw

docs/agent-setup.md

@@ -2,8 +2,7 @@
 
 AI coding agents can use PHPantom for the same code intelligence editors get. The agent starts `phpantom_lsp` over LSP and consults it (diagnostics, go-to-definition, hover types) as it reads and edits PHP, so its changes are grounded in real type information instead of guesses.
 
-<details>
-<summary><b>Claude Code</b></summary>
+## Claude Code
 
 Install the PHPantom plugin from its marketplace:
 
@@ -18,11 +17,9 @@ Beyond per-file code intelligence, the plugin puts `phpantom_lsp` on the agent's
 
 To use a specific binary instead of the downloaded one, set the `PHPANTOM_SERVER_PATH` environment variable to its path, or put `phpantom_lsp` on your `PATH`.
 
-</details>
+## Opencode
 
-<details>
-<summary><b>Opencode</b></summary>
-You can add this to your `opencode.json` file, it will be invoked when the AI uses the edit tool to edit a PHP file from within opencode.
+Add this to your `opencode.json` file. It will be invoked when the AI uses the edit tool to edit a PHP file from within Opencode.
 
 ```json
 {
@@ -37,4 +34,3 @@ You can add this to your `opencode.json` file, it will be invoked when the AI us
 ```
 
 You can add additional extensions to invoke it on if appropriate for your project.
-</details>

docs/editor-setup.md

@@ -1,9 +1,12 @@
 # Editor Setup
 
-PHPantom communicates over stdin/stdout using the standard [Language Server Protocol](https://microsoft.github.io/language-server-protocol/). Any editor with LSP support can use it. Point the client at the `phpantom_lsp` binary with `php` as the file type. No special initialization options are required.
+PHPantom communicates over stdin/stdout using the standard [Language Server Protocol](https://microsoft.github.io/language-server-protocol/). Any editor with LSP support can use it. No special initialization options are required.
 
-<details>
-<summary><b>Zed</b></summary>
+## Automatic Installation
+
+These editors download and manage the PHPantom binary for you. To use a newer version than what your editor provides, [install it manually](installation.md) and put `phpantom_lsp` on your `PATH`.
+
+### Zed
 
 PHPantom is supported directly by Zed's official PHP extension, no separate PHPantom extension needed. Install (or update) the PHP extension from Zed's Extensions panel, then add PHPantom to your Zed `settings.json`:
 
@@ -17,12 +20,15 @@ PHPantom is supported directly by Zed's official PHP extension, no separate PHPa
 }
 ```
 
-If you'd prefer to use a locally built binary, put `phpantom_lsp` on your `PATH` and the extension will use it instead of downloading one.
+### VS Code / Cursor
+
+Install the [PHPantom extension](https://marketplace.visualstudio.com/items?itemName=phpantom.phpantom) from the VS Code Marketplace. It automatically downloads the language server binary and starts it when you open a PHP file.
+
+## Manual Installation
 
-</details>
+These editors require you to [install PHPantom](installation.md) first.
 
-<details>
-<summary><b>Neovim</b></summary>
+### Neovim
 
 PHPantom is included in [nvim-lspconfig](https://github.com/neovim/nvim-lspconfig). If you use nvim-lspconfig, enable it with:
 
@@ -41,46 +47,25 @@ vim.lsp.config['phpantom'] = {
 vim.lsp.enable('phpantom')
 ```
 
-</details>
-
-<details>
-<summary><b>VS Code / Cursor</b></summary>
-
-Install the [PHPantom extension](https://marketplace.visualstudio.com/items?itemName=phpantom.phpantom) from the VS Code Marketplace. It automatically downloads the language server binary and starts it when you open a PHP file.
-
-</details>
+### PHPStorm
 
-<details>
-<summary><b>PHPStorm</b></summary>
+1. Install [LSP4IJ](https://plugins.jetbrains.com/plugin/23257-lsp4ij) from **Editor > Plugins**, then restart PHPStorm.
 
-1. **Download PHPantom LSP binary**
+2. Navigate to **Languages & Frameworks > Language Servers** and click **+** to add a new server:
 
-   * Get it from [GitHub Releases](https://github.com/PHPantom-dev/phpantom_lsp/releases/latest)
-   * Extract the binary to a preferred location
+    - **Name:** `PHPantom`
+    - **Command:** path to your `phpantom_lsp` binary
+    - **Mapping:** set `PHP` on both the **Language** tab and the **File Type** tab. Setting both ensures PHPStorm activates the server reliably.
 
-2. **Install and configure LSP plugin**
+![PHPStorm new language server dialog](https://github.com/user-attachments/assets/2da88e68-d012-476e-82e7-977dbfcd9653){ width="600" }
 
-   * Go to **Editor → Plugins** and install [LSP4IJ](https://plugins.jetbrains.com/plugin/23257-lsp4ij)
-   * Restart PHPStorm
-   * Navigate to **Languages & Frameworks → Language Servers**
-   * Click **+** to add a new server
+![PHPStorm language server mapping dialog](https://github.com/user-attachments/assets/62358f9e-973c-487d-ac17-098d7dab007e){ width="600" }
 
-     * Name: `PHPantom`
-     * Command: path to your PHPantom binary
-     * Mapping: set `PHP` on both the **Language** tab and the **File Type** tab (the dialogs are identical). Setting both ensures PHPStorm activates the server reliably.
+### Sublime Text
 
-<img width="779" height="645" alt="PHPStorm new language server dialog" src="https://github.com/user-attachments/assets/2da88e68-d012-476e-82e7-977dbfcd9653" />
+1. Open the Command Palette (`Ctrl+Shift+P` / `Cmd+Shift+P`), type `Package Control: Install Package`, and install **LSP**.
 
-<img width="779" height="645" alt="PHPStorm language server mapping dialog" src="https://github.com/user-attachments/assets/62358f9e-973c-487d-ac17-098d7dab007e" />
-
-</details>
-
-<details>
-<summary><b>Sublime Text</b></summary>
-
-1. **Install the LSP package.** Open the Command Palette (`Ctrl+Shift+P` on Linux/Windows, `Cmd+Shift+P` on macOS), type `Package Control: Install Package`, press Enter, then search for `LSP` and install it.
-
-2. **Configure PHPantom.** Open the Command Palette again and type `Preferences: LSP Server Configurations`. This opens `LanguageServers.sublime-settings`. Add the following:
+2. Open the Command Palette again, type `Preferences: LSP Server Configurations`, and add:
 
 ```json
 {
@@ -95,12 +80,9 @@ Install the [PHPantom extension](https://marketplace.visualstudio.com/items?item
 
 Make sure `phpantom_lsp` is on your `PATH`, or replace it with the full path to the binary.
 
-</details>
-
-<details>
-<summary><b>Helix</b></summary>
+### Helix
 
-Helix has built-in LSP support. Add PHPantom to your `languages.toml` (typically `~/.config/helix/languages.toml`):
+Add PHPantom to your `languages.toml` (typically `~/.config/helix/languages.toml`):
 
 ```toml
 [language-server.phpantom]
@@ -111,13 +93,10 @@ name = "php"
 language-servers = ["phpantom"]
 ```
 
-</details>
+### Emacs (eglot)
 
-<details>
-<summary><b>Emacs (eglot)</b></summary>
-
-> [!NOTE]
-> This configuration is untested. If you get it working (or run into issues), please [open an issue](../../issues).
+!!! note
+    This configuration is untested. If you get it working (or run into issues), please [open an issue](https://github.com/PHPantom-dev/phpantom_lsp/issues).
 
 Eglot is built into Emacs 29+. Add to your `init.el`:
 
@@ -129,13 +108,10 @@ Eglot is built into Emacs 29+. Add to your `init.el`:
 
 Then open a PHP file and run `M-x eglot`.
 
-</details>
-
-<details>
-<summary><b>Emacs (lsp-mode)</b></summary>
+### Emacs (lsp-mode)
 
-> [!NOTE]
-> This configuration is untested. If you get it working (or run into issues), please [open an issue](../../issues).
+!!! note
+    This configuration is untested. If you get it working (or run into issues), please [open an issue](https://github.com/PHPantom-dev/phpantom_lsp/issues).
 
 Add to your `init.el`:
 
@@ -150,15 +126,12 @@ Add to your `init.el`:
 
 Then open a PHP file and run `M-x lsp`.
 
-</details>
+### Kate
 
-<details>
-<summary><b>Kate</b></summary>
+!!! note
+    This configuration is untested. If you get it working (or run into issues), please [open an issue](https://github.com/PHPantom-dev/phpantom_lsp/issues).
 
-> [!NOTE]
-> This configuration is untested. If you get it working (or run into issues), please [open an issue](../../issues).
-
-Kate (KDE) has built-in LSP support. Open **Settings → Configure Kate → LSP Client → User Server Settings** and add:
+Open **Settings > Configure Kate > LSP Client > User Server Settings** and add:
 
 ```json
 {
@@ -171,6 +144,4 @@ Kate (KDE) has built-in LSP support. Open **Settings → Configure Kate → LSP
 }
 ```
 
-</details>
-
 For AI coding agent setup, see [Agent Setup](agent-setup.md).

docs/index.md

@@ -29,7 +29,7 @@ You may want to jump to:
 
 ## Useful Links
 
-- [Installation](installation.md) and [Editor Setup](editor-setup.md)
+- [Editor Setup](editor-setup.md) and [Manual Installation](installation.md)
 - [Configuration Reference](configuration.md)
 - [CLI Reference](cli.md)
 - [Development Roadmap](todo.md)

docs/installation.md

@@ -1,4 +1,8 @@
-# Installation
+# Manual Installation
+
+Most editors install PHPantom automatically (see [Editor Setup](editor-setup.md)). Use these methods when your editor doesn't manage the binary for you, or when you want a specific version.
+
+## Latest Release
 
 === "Cargo"
 
@@ -8,6 +12,16 @@
 
     See [phpantom_lsp on crates.io](https://crates.io/crates/phpantom_lsp).
 
+=== "Cargo binstall"
+
+    ```bash
+    cargo binstall phpantom_lsp
+    ```
+
+    [cargo-binstall](https://github.com/cargo-bins/cargo-binstall) downloads
+    pre-built binaries instead of compiling from source, so installation
+    takes seconds instead of minutes.
+
 === "Homebrew"
 
     ```bash
@@ -34,13 +48,24 @@
     (Alpine). The `-unknown-linux-gnu` name is retained for compatibility
     with existing installers.
 
-=== "Build from Source"
+## Latest Main (Unreleased)
 
-    See [Building from Source](BUILDING.md) for full instructions. Quick version:
+Install the latest `main` branch to get fixes and features that haven't
+been released yet. Useful for verifying bug fixes or testing new features.
 
-    ```bash
-    cargo build --release
-    # Binary is at target/release/phpantom_lsp
-    ```
+```bash
+cargo install --git https://github.com/PHPantom-dev/phpantom_lsp --branch main phpantom_lsp
+```
+
+## Build from Source
+
+See [Building from Source](BUILDING.md) for full instructions. Quick version:
+
+```bash
+git clone https://github.com/PHPantom-dev/phpantom_lsp
+cd phpantom_lsp
+cargo build --release
+# Binary is at target/release/phpantom_lsp
+```
 
 Once installed, see [Editor Setup](editor-setup.md) to configure your editor.

zensical.toml

@@ -8,9 +8,9 @@ edit_uri = "edit/main/docs/"
 nav = [
   { "Home" = "index.md" },
   { "Getting Started" = [
-    { "Installation" = "installation.md" },
     { "Editor Setup" = "editor-setup.md" },
     { "Agent Setup" = "agent-setup.md" },
+    { "Manual Installation" = "installation.md" },
   ]},
   { "Reference" = [
     { "Configuration" = "configuration.md" },