Range formatting documentation #5933

Job	Run time
build (windows-2019, Win32, v142, 17, Debug)	1m 51s
mingw (mingw64)	4m 11s
build (windows-2019, Win32, v142, 17, Release)	2m 5s
mingw (ucrt64)	3m 54s
build (windows-2019, Win32, v142, 17, -DBUILD_SHARED_LIBS=ON, Debug)	1m 6s
build (windows-2019, Win32, v142, 17, -DBUILD_SHARED_LIBS=ON, Release)	2m 22s
build (windows-2019, x64, v140, 14, Debug)	1m 53s
build (windows-2019, x64, v140, 14, Release)	2m 32s
build (windows-2019, x64, v141, 17, Debug)	1m 14s
build (windows-2019, x64, v141, 17, Release)	2m 23s
build (windows-2019, x64, v142, 17, Debug)	1m 50s
build (windows-2019, x64, v142, 17, Release)	2m 25s
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 35s
build (windows-2019, x64, v142, 20, Debug)	2m 0s
build (windows-2019, x64, v142, 20, Release)	2m 48s
build (windows-2022, x64, v143, Debug, 20)	2m 7s
	38m 23s

Provide feedback