> I thought he had a "rethinking how we deprecate" PR or issue, but I can't find it now. I think it was [#13074] (now merged). Yes it was, thanks.