And so it was and should have been. Apparently someone forgot to upstream it and it’s coming now:
ping @Yochanan