ずっと悩まされていた、というかできなかった。 自宅の Mac mini ではできたんだけど、作業場の Mac mini では2台とも（2011？のと2018のと）できなかった。 例の Quartz Display を起動して Enable HiDPI display modes のチェックをオンにしてログアウトするっていうやつ。 ログアウトするとチェックが外れているという、爆発しそうなことをしていやがりまくりやがりで。
そういう場合はターミナルでもって設定するべきだと教えてもらいました。
sudo defaults write /Library/Preferences/com.apple.windowserver.plist DisplayResolutionEnabled -bool true
そしてシステム再起動。 これで HiDPI を設定できるようになりました。