export function truncate(s: string, len: number): string {
	if (s.length >= len) {
		return s.substring(0, len - 3) + '...'
	} else {
		return s
	}
}