Distros often choose Terminus as the default, and it supports some non-ASCII characters that we use in config. Fixes #8107.