Just commenting on the above. The first point isn’t a given IMO because if you reduce the population of potential elders in that way you don’t just make it more costly to run a potential elder node, you also reduce the time for such a node to become an elder because they have fewer competitors.
The second point seems more sound.