Merge pull request #623 from elbeno/fix-doc-highlighting #1614

Job	Run time
build_and_test (clang, 14, 20, libc++, Debug)	2m 44s
build_and_test (clang, 15, 20, libstdc++, Debug)	2m 45s
build_and_test (clang, 15, 20, libc++, Debug)	3m 29s
build_and_test (clang, 16, 20, libstdc++, Debug)	3m 6s
build_and_test (clang, 16, 20, libc++, Debug)	3m 22s
quality_checks_pass	1m 45s
build_and_test (clang, 17, 20, libstdc++, Debug)	2m 32s
build_and_test (clang, 17, 20, libc++, Debug)	4m 3s
build_and_test (clang, 18, 20, libstdc++, Debug)	2m 51s
build_and_test (clang, 18, 20, libc++, Debug)	4m 13s
sanitize (undefined, clang)	2m 31s
sanitize (undefined, gcc)	3m 48s
sanitize (address, clang)	2m 37s
build_and_test (gcc, 12, 20, libstdc++, Debug)	2m 28s
sanitize (address, gcc)	3m 18s
valgrind	3m 52s
build_and_test (gcc, 13, 20, libstdc++, Debug)	3m 50s
sanitize (thread, clang)	3m 17s
sanitize (thread, gcc)	3m 50s
merge_ok	3s
	1h 0m 24s

Provide feedback