Haha it looks like we should add a line telling you that you can just close the terminal. Anyway, thanks for your comments!
