Range formatting documentation #5934

Job	Run time
build (windows-2019, Win32, v142, 17, Debug)	1m 55s
build (windows-2019, Win32, v142, 17, Release)	2m 15s
build (windows-2019, Win32, v142, 17, -DBUILD_SHARED_LIBS=ON, Debug)	1m 22s
build (windows-2019, Win32, v142, 17, -DBUILD_SHARED_LIBS=ON, Release)	1m 56s
build (windows-2019, x64, v140, 14, Debug)	1m 52s
mingw (mingw64)	3m 45s
build (windows-2019, x64, v140, 14, Release)	1m 42s
mingw (ucrt64)	4m 9s
build (windows-2019, x64, v141, 17, Debug)	1m 32s
build (windows-2019, x64, v141, 17, Release)	2m 35s
build (windows-2019, x64, v142, 17, Debug)	1m 9s
build (windows-2019, x64, v142, 17, Release)	2m 11s
build (windows-2019, x64, v142, 17, -DBUILD_SHARED_LIBS=ON, Debug)	1m 7s
build (windows-2019, x64, v142, 17, -DBUILD_SHARED_LIBS=ON, Release)	2m 17s
build (windows-2019, x64, v142, 20, Debug)	1m 34s
build (windows-2019, x64, v142, 20, Release)	2m 41s
build (windows-2022, x64, v143, Debug, 20)	1m 53s
	35m 55s

Provide feedback