Move webui from /loop/webui to /webui

Thanks, perl (and git mv):

	perl -pi -e s,loop/webui,webui,g $(git grep -l loop/webui)
diff --git a/.github/workflows/formatting.yml b/.github/workflows/formatting.yml
index ea50853..69d8721 100644
--- a/.github/workflows/formatting.yml
+++ b/.github/workflows/formatting.yml
@@ -18,14 +18,14 @@
         with:
           node-version: '20'
           cache: 'npm'
-          cache-dependency-path: loop/webui/package-lock.json
+          cache-dependency-path: webui/package-lock.json
 
       - name: Install dependencies
-        working-directory: ./loop/webui
+        working-directory: ./webui
         run: npm ci
 
       - name: Check Prettier formatting
-        working-directory: ./loop/webui
+        working-directory: ./webui
         run: npx prettier --check .
 
       # Setup for gofumpt