Update Links

Author: rcosta358

getting-started/setup.md

@@ -46,7 +46,7 @@ dependencies {
 
 The extension then provides real-time diagnostics, syntax highlighting for refinements, and more.
 
-> You can find more about the extension [here]({{ '/tooling/vscode-extension/' | relative_url }}).
+> You can find more about the extension [here]({{ '/vscode/' | relative_url }}).
 
 ## Command-Line Interface
 
@@ -68,4 +68,4 @@ mvn clean install
 
 This runs the verifier on your project and prints any errors to the console.
 
-> You can find more about the command-line interface [here]({{ '/tooling/cli/' | relative_url }}). 
+> You can find more about the command-line interface [here]({{ '/cli/' | relative_url }}). 

index.md

@@ -12,10 +12,10 @@ cards:
     url: /reference/
     description: Look up LiquidJava concepts, annotations, and protocol rules in a more formal, detailed format.
   - title: VS Code Extension
-    url: /tooling/vscode-extension/
+    url: /vscode/
     description: Find out about real-time diagnostics, syntax highlighting, and more in the editor.
   - title: Command Line
-    url: /tooling/cli/
+    url: /cli/
     description: Run the verifier directly from the terminal for local checks, debugging, and CI workflows.
   - title: Examples
     url: /examples/

tooling/cli.md

@@ -1,6 +1,7 @@
 ---
 title: Command Line
 nav_order: 5
+permalink: /cli/
 description: Run the LiquidJava verifier from the command line for local checks, debugging, and CI workflows.
 ---
 

tooling/vscode-extension.md

@@ -1,6 +1,7 @@
 ---
 title: VS Code Extension
 nav_order: 6
+permalink: /vscode/
 description: Install the LiquidJava VS Code extension for live verification, syntax highlighting, and protocol visualizations.
 ---