import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
import { Type } from "typebox";
function textFromHtml(html: string): { title: string; content: string } {
const title = html.match(/
]*>([^<]+)<\/title>/i)?.[1]?.trim() || "No title";
const content = html
.replace(/