Thanks it was integrated at the end of January (see commit #106517).