FWIW, it looks like the performance gain the bot identified (and so adamantly defended!) is in fact a wash in real testing:

https://github.com/matplotlib/matplotlib/issues/31130