UPD docu

documentation/linux_configuration_01_general_setup.tex

@@ -138,7 +138,7 @@ weitere Orte zu finden (z.\,B. /sbin/init usw.). Wenn dieser Pfad leer ist,
 wird einfach die Fallback-Liste verwendet, wenn \texttt{init=} nicht übergeben wird.
 
 \subsection{Default hostname}
-CONFIG\_DEFAULT\_HOSTNAME [=archlinux] \textbf{[=archlinux]}\\
+CONFIG\_DEFAULT\_HOSTNAME \colorbox{yellow!80}{[=archlinux]~\textbf{[=orange]}}\\
 Diese Option legt den Standard-Hostnamen des Systems fest,
 noch bevor der Userspace das Kommando sethostname(2) aufruft.
 Der Kernel verwendet hier traditionell ''(none)'', Sie möchten