// One HTML escaper. Previously written four times, in catalog.ts, types.ts
// and attach.ts.

export function escapeHtml(s: string): string {
  return s
    .replace(/&/g, "&")
    .replace(/</g, "&lt;")
    .replace(/>/g, "&gt;")
    .replace(/"/g, "&quot;");
}