10:48:06 From Tommaso Diotalevi : try to exit and re-enter 10:48:08 From Tommaso Diotalevi : maybe 11:00:22 From Massimo Sgaravatto : yes 11:57:13 From Tommaso Diotalevi : I wonder if users will require knowledge on all of this. Or if we (from our usecases top-down) should start thinking about higher-level tools that run these commands under the hoods. 11:57:22 From Tommaso Diotalevi : (Sorry I cannot speak directly) 12:18:51 From Alessandra Fanfani : thanks for the presentation. Keep in touch with the documentation