Merge #4257 Ignore manually installed duplicates of installed modules #805

Job	Run time
check-dev-build	2s
sign-assets / smoke-inflator / build-release / build	1m 46s
sign-assets / test-release / build-debug / build	1m 28s
sign-assets / test-release / test-build	1m 7s
sign-assets / smoke-inflator / smoke-test-inflator	43s
sign-assets / smoke-inflator / notify	0s
sign-assets / test-release / notify	0s
sign-assets / sign	37s
upload-release-s3	10s
upload-inflator	2m 30s
upload-deb	32s
upload-dmg	30s
upload-metadata-tester	1m 26s
upload-rpm	31s
notify-discord / Notify Discord	4s
	11m 26s

Provide feedback