/** Strip combining diacritical marks: "nuït" → "nuit" */
export function foldDiacritics(s: string): string {
  return s.normalize("NFD").replace(/[\u0300-\u036f]/g, "");
}