<username>@linerva.mit.edu`.
On Windows, download a SSH client (such as
-[PuTTY](http://chiark.greenend.org.uk/~sgtatham/putty/download.html))
+[PuTTY](http://chiark.greenend.org.uk/~sgtatham/putty/download.html); you will need to [change PuTTY’s character set](http://utf-8.scripts.mit.edu/wiki/PuTTY) to UTF-8 to prevent occasional display glitches.)
and install it. Once you've opened it, type `<username>@linerva.mit.edu`
into the prompt and hit enter.
By default, there are seven colors you may use in the terminal: red,
green, yellow, blue, magenta, cyan, and white. In order to use color
in Zephyr, you can use the following notation: `@(@color(red)This is
-some red text))`
+some red text)`
Colors may vary from machine to machine, as different terminal
profiles may have different shades of the seven colors.