Breve resumen: getSelection().toString() se comporta de forma inesperada en https://vscode.dev .

Pregunta detallada:

Necesito escribir un script javascript que obtenga el texto seleccionado por el usuario. Por lo general, lo hago con getSelection().toString() , pero por alguna razón esto no funciona para https://vscode.dev (versión en línea del editor VSCode). En lugar de copiar todo el texto seleccionado, el código anterior se evalúa como una versión abreviada del texto seleccionado, con puntos suspensivos en el medio. Por ejemplo, si selecciono este texto...

 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

luego getSelection().toString() se evalúa como

 '1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n…21\n22\n23\n24\n25\n26\n27\n28\n29\n30'

es decir, pierde algo de texto en el medio.

¿Cómo solucionarlo y obtener todo el texto seleccionado?

PD: en caso de que pregunte, la consola de Chrome no acortó este texto, fue acortado por javascript de verdad: