On Tue, Nov 05, 2024 at 12:05:11PM -0700, David G. Johnston wrote:
> The ease or difficulty of making the change in the server has no meaningful
> bearing on whether breaking this public API is warranted or not.
This function has this name since 600da67fbe5e back from 2008.
Changing that 16 years later will break things.
--
Michael