Merge #4255 Make LabeledProgressBar work on Mono #803

Job	Run time
check-dev-build	2s
sign-assets / test-release / build-debug / build	1m 16s
sign-assets / smoke-inflator / build-release / build	1m 56s
sign-assets / test-release / test-build	58s
sign-assets / smoke-inflator / smoke-test-inflator	48s
sign-assets / test-release / notify	0s
sign-assets / smoke-inflator / notify	0s
sign-assets / sign	1m 17s
upload-release-s3	19s
upload-deb	22s
upload-dmg	23s
upload-rpm	31s
upload-metadata-tester	1m 25s
upload-inflator	2m 33s
notify-discord / Notify Discord	3s
	11m 53s

Provide feedback