Test HDivTrace as a macroelement #4525

Job	Run time
test / Prepare matrix for Linux extra tests	2s
test / Test default	1h 11m 19s
test / Lint codebase	25s
test / Build documentation	15m 34s
test / Basic repository checks	24s
test / Test macOS	0s
test / Deploy GitHub pages (push to main only)	0s
test / Test default	18m 54s
test / Prepare matrix for Linux extra tests	2s
test / Test macOS	-137370s
test / Deploy GitHub pages (push to main only)	-136435s
test / Build documentation	15m 34s
test / Lint codebase	25s
test / Basic repository checks	24s
test / Test default	1h 11m 14s
test / Test macOS	-139613s
test / Build documentation	15m 34s
test / Basic repository checks	24s
test / Deploy GitHub pages (push to main only)	-138678s
test / Lint codebase	25s
test / Prepare matrix for Linux extra tests	2s
	-539454s

Provide feedback