Merge pull request #571 from ProvableHQ/fix/devnet-tabs-values

Fix mismatched Tabs values in devnet guide

Author: JoshuaBatty

documentation/guides/07_devnet.md

@@ -48,7 +48,7 @@ This feature is only available on Unix-based systems.
 
 You'll need to install the `tmux` package first:
 
-<Tabs defaultValue="cargo"
+<Tabs defaultValue="macos"
 values={[
 { label: 'MacOS', value: 'macos' },
 { label: 'Ubuntu', value: 'ubuntu' },
@@ -62,7 +62,7 @@ brew install tmux
 ```
 
 </TabItem>
-<TabItem value="prebuilt">
+<TabItem value="ubuntu">
 On Ubuntu and other Debian-based systems, you can use the apt package manager:
 
 ```bash