*/
export function customizationId(uri: string, range?: TextRange): string {
return uri;
}
const safeUri = uri.replace(/#/g, '%23');
return `${safeUri}#range=${range.start.line}:${range.start.character}-${range.end.line}:${range.end.character}`;