A comment about configure gnome-terminal to use a login shell. Closes #51.