Fixes #1969: Enhance ElDoc integration #860

Job	Run time
build (ubuntu-latest, 29.4, false)	41s
build (ubuntu-latest, 26.3, false)	34s
build (ubuntu-latest, 28.2, false)	32s
build (macos-latest, 28.2, false)	5m 36s
build (ubuntu-latest, 27.2, false)	30s
build (windows-latest, 27.2, false)	6m 52s
build (windows-latest, 29.4, false)	6m 52s
build (windows-latest, 28.2, false)	6m 52s
build (macos-latest, 29.4, false)	3m 29s
build (windows-latest, 26.3, false)	6m 50s
build (macos-latest, snapshot, true)	4m 16s
build (ubuntu-latest, snapshot, true)	36s
	43m 40s

Provide feedback