Liraz Siri's picture

I'll have to ask Alon about that and maybe we can update the documentation...