two notebooks: lwt tutorial, simple mirage console "hello world"