nixos-manual: show manual on tty8 by default