Are users working in a livecd the targeted audience of the comments in that file?

IHMO this comment is misleading, because the vast majority of NixOS systems do not offer any help on tty8, and possibly none of them offer help on tty8 that isn't available by running `nixos-help`.