How do you see anything with terminal text that small?
If you view it in its original resolution (1080p) you should be able to read it easily. I think 7 and 8 are optimal. If it is bigger I find it less comfortable to read. The idea behind PragmataPro is that lines are more compact in height and width. You can view a lot of windows at the same time. And another advantage of this is that it is less stressful for your eyes.
Back when 720p was still a more common resolution, the font size 7 was much more popular, especially with programmers. I don't know why fonts in windows and macOS are so large by default, but I think it's mainly so old people can read the text. Not because these kind of size fonts are necessary for people with a well-functioning sight.
Millennials are having more vision problems and at a younger age than previous generations. Nearly 70% of millennials experience eye strain, and more people are nearsighted than ever before. This is thought to be due to the way millennials live their daily lives. Smartphones are not good for your eyesight and RF-EMF has many side effects that are not known to the general public because the telecom industry does not want people to know about it. But specifically 5G radiation is worse for the eyes than 4G and 3G according to research.
