It is a very small minority, but we're discussing "top developers", which is an even smaller minority. They shouldn't have problems finding remote jobs.