> I already created a PR in the intrinsic doc repo. Shall we wait for > that, or > can we just go ahead and push this now?
I think we can go ahead and correct it later if needed. The current state before the patch isn't without issues either :) -- Regards Robin
