Hi,

Another HDPI-inspired patch; since Marrakech I finally have a readable
console font, thanks to Bernhard M. Wiedemann.

This solution enters the manual in a kind of tricksy way.  More
seriously, when updating the `guix system search console font' example
output, I found that mingetty and login and ... entries to be missing.
Is that a bug, or should the output be fixed?  We could also change
the example command to `guix search console', then those entries are
present again.

Greetings,
janneke