Can one enlarge the fonts in the GUI? I'm normally not using the GUI but the question just came up on tex.sx: http://tex.stackexchange.com/questions/309809/texlive-tlmgr-on-hidpi-screens -- Ulrike Fischer http://www.troubleshooting-tex.de/