Some progress on porting frontend

frontend-vue/src/components/util/FormattedText.vue

@@ -1,5 +1,4 @@
 <script setup lang="ts">
-import { defineProps } from "vue"
   const props = defineProps<{
     rawText: string // Raw text (already pre-transformed by server into Linstrom format)
   }>()
@@ -7,4 +6,6 @@ import { defineProps } from "vue"
 // Probably something akin to the treeificator. Marshal text into tree first,
 // then adjust tree nodes to types that unmarshal into html
 </script>
-<p>{{props.rawText}}</p>
+<template>
+  <p>{{props.rawText}}</p>
+</template>