export function escapeMatchingText(input: string){ return input.replaceAll("\\-", "-"); }