Cloud9 再起動する方法

Cloud9でOSの調子が悪くて再起動したい時のメモ。
画面右上のこれをクリック。

↑これ。

クリックするとなんかシュッと出てくる。

右下のRestartをクリック。
ちょっと待って完了。