export function escapeRegExp(source: string) { return source.replace(/[\$\\]/g, "\\$&"); }