Add map import and export with durable refresh progress

app/servers/[id]/page.tsx

@@ -6,6 +6,8 @@ import { StartGame } from "@/components/StartGame";
 import { getMap } from "@/lib/catalog";
 import { ContributionInstructions } from "@/components/ContributionInstructions";
 import { ReportContent } from "@/components/ReportContent";
+import { user } from "@/lib/supabase";
+import { ExportMap } from "@/components/MapTransfer";
 export default async function ServerPage({
   params,
 }: {
@@ -15,6 +17,7 @@ export default async function ServerPage({
   const { id } = await params;
   const map = await getMap(id);
   if (!map) notFound();
+  const account = await user();
   return (
     <>
       <Header />
@@ -31,6 +34,7 @@ export default async function ServerPage({
           {t("Created by")} {map.credit}
         </p>
         <ReportContent datasetId={id} />
+        {account?.id === map.owner_id && <ExportMap id={id} />}
         <p className="muted">
           {t("Map ID:")} <code>{map.id}</code>
         </p>