[AnonGitLabEmpl]

Nah, we did decide to not hire them. The issue blew up before we merged the change. As far as I can tell we are going to continue with the policy.