diff --git a/README.md b/README.md
index 47757ed..adae99e 100644
--- a/README.md
+++ b/README.md
@@ -21,7 +21,7 @@ In future potentially with LLMs and visual transformers trying to understand use
 
 1. Install the extension from `extension/` folder
 ```console
-code --install-extension paperproof-0.0.4.vsix
+code --install-extension paperproof-0.0.5.vsix
 ```
 
 2. Run the dev server (you might need to run `yarn install` first)
@@ -37,7 +37,7 @@ http://localhost:80
 If you change something in the `/extension` folder, run
 
 ```console
-vsce package; code --uninstall-extension undefined_publisher.paperproof; code --install-extension paperproof-0.0.4.vsix
+vsce package; code --uninstall-extension undefined_publisher.paperproof; code --install-extension paperproof-0.0.5.vsix
 ```
 and quit VSCode.
 
diff --git a/app/src/indexBrowser.tsx b/app/src/indexBrowser.tsx
index ab3d243..abd4a5e 100644
--- a/app/src/indexBrowser.tsx
+++ b/app/src/indexBrowser.tsx
@@ -20,7 +20,7 @@ interface PaperProofWindow extends Window {
 
 declare const window: PaperProofWindow;
 
-const BASE_URL = "http://localhost:80";
+const BASE_URL = "https://paperproof.xyz";
 
 // TODO: We should use the vscode font for consistency with Lean probably
 // const fontFamily = 'Menlo, Monaco, "Courier New", monospace;'
diff --git a/extension/README.md b/extension/README.md
index 771a4c3..a8b5c36 100644
--- a/extension/README.md
+++ b/extension/README.md
@@ -28,4 +28,8 @@ Initial release of the extension sending data to the server.
 
 ### 0.0.4
 
-Send state updates directly to extension webview as well as the server
\ No newline at end of file
+Send state updates directly to extension webview as well as the server
+
+### 0.0.5
+
+Support sessions
\ No newline at end of file
diff --git a/extension/package.json b/extension/package.json
index 9ef0f30..73f9795 100644
--- a/extension/package.json
+++ b/extension/package.json
@@ -2,7 +2,7 @@
   "name": "paperproof",
   "displayName": "paperproof",
   "description": "Extension which queries Lean server each time cursor position changes and sends context to the web server",
-  "version": "0.0.4",
+  "version": "0.0.5",
   "repository": {
     "type": "git",
     "url": "https://github.com/antonkov/paper-proof"
diff --git a/extension/paperproof-0.0.5.vsix b/extension/paperproof-0.0.5.vsix
new file mode 100644
index 0000000..a3d0d3c
Binary files /dev/null and b/extension/paperproof-0.0.5.vsix differ
diff --git a/extension/src/extension.ts b/extension/src/extension.ts
index 235390a..de2cbb3 100644
--- a/extension/src/extension.ts
+++ b/extension/src/extension.ts
@@ -4,7 +4,7 @@ import fetch from "node-fetch";
 // @ts-ignore
 import converter from "./converter";
 
-const SERVER_URL = "http://localhost:80";
+const SERVER_URL = "https://paperproof.xyz";
 let sessionId: string | null = null;
 let latestInfo: object | null = null;