Archangel said:
Thanks for that! I have used it to set the font to 11 regular in the File Explorer. It works well, except that the lower part of file names is cut off... For example the letter p is very short, and the letter g almost looks like a q as the bottom curve is not there. Is there anything that can be done about this?

Hello Archangel, and welcome to Ten Forums.

Other than changing the DPI scaling level to make everything larger instead, I'm not sure.