Fixes #1969: Enhance ElDoc integration #861

Job	Run time
build (ubuntu-latest, 26.3, false)	31s
build (ubuntu-latest, 27.2, false)	34s
build (ubuntu-latest, 28.2, false)	30s
build (ubuntu-latest, 29.4, false)	36s
build (macos-latest, 29.4, false)	3m 19s
build (windows-latest, 26.3, false)	3h 7m 34s
build (windows-latest, 29.4, false)	2h 34m 58s
build (windows-latest, 28.2, false)	1h 29m 56s
build (ubuntu-latest, snapshot, true)	39s
build (windows-latest, 27.2, false)	1h 43m 28s
build (macos-latest, snapshot, true)	2m 49s
build (macos-latest, 28.2, false)	2m 29s
	9h 7m 23s

Provide feedback