Looks like @izhak hasn't received any replies!