Jeff Huang
says to
Ubuntu 台灣社群
https://wiki.archlinux.org/title/HiDPI#GRUB