One thing that confused us was how to turn off the RPI. Just yanking the power cord from a computer is a very bad idea; you should always properly shutdown the system to make sure the filesystem is in a consistent state.
Since it was not clear how to turn off the machine using the GUI, I just opened the terminal and used the command:
sudo poweroff
That appeared to work as the RPI shutdown and stayed off.
]]>