Runtime: record backtraces should be explicit #2731

Job	Run time
lint-fmt	2m 39s
lint-opam	3m 57s
build (ubuntu-latest, 4.08, true, true, true)	3m 52s
build (ubuntu-latest, 4.09, true, true, true)	3m 10s
build (ubuntu-latest, 4.10, true, true, true)	3m 7s
build (ubuntu-latest, 4.11, true, true, true)	4m 17s
build (ubuntu-latest, 4.12, true, true, true)	3m 15s
build (ubuntu-latest, 4.13, true, true, true)	3m 32s
build (ubuntu-latest, 5.0, true, true, true)	3m 10s
build (ubuntu-latest, 5.1, true, true, true)	3m 18s
build (ubuntu-latest, 4.14, true, false, true)	7m 24s
build (macos-latest, 4.14, true, false, true)	8m 46s
build (windows-latest, 4.14, true, false, true)	16m 8s
build (ubuntu-latest, 5.2, false, false, false)	10m 51s
build (macos-latest, 5.2, true, false, true)	9m 48s
build (windows-latest, 5.2, false, false, true)	22m 8s
	1h 49m 22s

Provide feedback