@pjcozzi It was changed here: 866f1ecdd689b8aabe577ef841beda8e414eada5. I don't know why.