Yep, that addresses my concern, thanks! Btw, #874078 does exist, but I've just noticed that it was marked private :-).
Yep, that addresses my concern, thanks! Btw, #874078 does exist, but I've just noticed that it was marked private :-).