@radumereuta  can you weigh in here? I seem to recall this particular piece of syntax was your idea once upon a time, am I misremembering?