Apparently this didn’t make it into master…