Use port 8757 for the dev server

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

.devcontainer/devcontainer.json

@@ -17,6 +17,6 @@
     },
     "postCreateCommand": "pip install -U pip && pip install -U -r requirements.txt -r requirements-dev.txt",
     "forwardPorts": [
-        8000
+        8757
     ]
 }

csrf-test/index.html

@@ -10,7 +10,7 @@
 
         <script>
             function test() {
-                $.post("http://localhost:8000/user/1/toggle-enabled", null, function () {
+                $.post("http://localhost:8757/user/1/toggle-enabled", null, function () {
                     console.log("success", arguments);
                 });
             }
@@ -18,7 +18,7 @@
         
         <button onclick="test()">Change</button>
 
-        <form action="http://localhost:8000/user/1/toggle-enabled" method="post">
+        <form action="http://localhost:8757/user/1/toggle-enabled" method="post">
             <button type="submit">Submit</button>
         </form>
     </body>