I was wondering about that as well, but I assumed you left it out for a reason in #3589. Could you double-check again? I will gladly add it to this PR if needed!