<div dir='auto'>Ok, after summercamp presentations</div>