export function truncate(text: string, len: number): string {
  if (text.length <= len) return text;
  return text.slice(0, len) + '…';
}