NEWS

--- a/NEWS	Fri Apr 05 17:05:32 2019 +0200
+++ b/NEWS	Fri Apr 05 21:54:08 2019 +0200
@@ -92,7 +92,8 @@
 
 * OpenJDK 11 has quite different font rendering, with better glyph
 shapes and improved sub-pixel anti-aliasing. In some situations results
-might be *worse* than Oracle Java 8, though.
+might be *worse* than Oracle Java 8, though. A decent HiDPI display is
+recommended.
 
 
 *** Document preparation ***