On Mon, Oct 18, 2021 at 09:28:00 +0000, Or Ozeri wrote: > Any comments? :) Oops, I meant to get to this last week but somehow it fell under my radar. I'll try to get to this today or tomorrow.