

{\em Conventions}: In this document, (most) command line / code stuff is {\color{DarkRed} printed in red},
while (most) remote command output is {\color{DarkGreen} printed in green}.



