> I pushed this on your behalf in commit
> e607cc3a479b39d11e9d2b5979b9719e133008a0 along with some other
> last-minute core-updates changes.

Thank you!