Huch! Das ging ja glatt an mir vorbei.
Seit ich meinen 4k-Monitor habe, verwende ich auf meinem PC hauptsächlich Linux Mint, weil dieses Betriebssystem
die beste Unterstützung für HiDPI-Displays bietet, die ich bis jetzt für mich entdeckt habe.
Das mag auch der Grund sein, warum das heute bereits 10 Tage alte Update von Debian "Stretch" auf die Version 9.4
von mir unbemerkt und daher ungebloggt blieb.
Hier die Pressemitteilung: https://www.debian.org/News/2018/20180310.
Na sowas aber auch...