Support batch range formatting in editors

[JohnnyMorganz]

The August 2023 release of VSCode included support for batch range formatting, where multiple ranges can be provided in one go. This may be a useful addition to support, and may be useful for other editors too

https://github.com/microsoft/vscode/blob/e34a26097d763548bf220da77b74922765c12fa2/src/vscode-dts/vscode.d.ts#L4172