fixup! Add display server.

share/man/man7/installation.7

@@ -156,6 +156,15 @@ Ports can additionally be loaded as binary packages in the
 directory by navigating to the advanced menu and then the select binary packages
 submenu and then selecting which ports.
 .Pp
+The
+.Xr display 1
+graphical user interface and desktop environment can be disabled by navigating
+to the advanced menu and selecting
+.Sy Disable GUI ,
+which will instead boot to a plain
+.Pa /dev/tty1
+terminal.
+.Pp
 The network drivers can be disabled by navigating to the advanced menu and
 selecting
 .Sy Disable network drivers .
@@ -180,6 +189,17 @@ If not, you can run the installer by running the
 .Xr sysinstall 8
 command.
 .Pp
+You will boot into the
+.Xr display 1
+graphical user interface and desktop environment by default.
+A single
+.Xr terminal 1
+window will open by default.
+More terminals can be opened by pressing Control + Alt + T.
+See
+.Xr display 1
+for the available shortcuts.
+.Pp
 The installer is an interactive command line program that asks you questions and
 you answer them.
 It provides useful information you shouldn't accidentally overlook.

share/man/man7/user-guide.7

@@ -22,14 +22,14 @@ The
 desktop environment is automatically started when booting the live environment
 or after logging into an installation.
 .Pp
+A new
+.Xr terminal 1
+can be launched by pressing Control + Alt + T.
+.Pp
 The desktop environment can be exited by pressing Control + Alt + Delete,
 which will return to the login screen (in installations) or power off the
 computer (in the live environment).
 .Pp
-A new
-.Xr terminal 1
-can be launched by pressing Control + Alt + F1.
-.Pp
 See
 .Xr display 1
 for all the available keyboard shortcuts.