Repository navigation

Fix #15107: Exporting XML via GUI escapes special characters twice. #1932

Job	Run time
build (tsan, -DANALYZE_THREAD=On, false, thread, false, --executor=thread --error-exitcode=0)	19m 22s
build (ubsan, -DANALYZE_UNDEFINED=On, true, process, true)	48m 16s
build (asan, -DANALYZE_ADDRESS=On, true, process, false)	22m 9s
	1h 29m 47s