Clean up git url display/copy

     </p>
 
 $if repo.exists():
-    $ git_clone_url = f"{tx.origin}/code/projects/{project}.git"
-    <script>
-    copyText = () => { navigator.clipboard.writeText('$git_clone_url') }
-    </script>
-    <pre><small>git clone $git_clone_url <button onclick=copyText()>📋</button></small></pre>
+    $ git_url = f"{tx.origin}/code/projects/{project}.git"
+    <pre><small>git clone $git_url <button
+    onclick="navigator.clipboard.writeText('$git_url')">📋</button></small></pre>
 
     <div id=files>
     $ ignorable_files = (