feat: fix_deprecations.py script #30994

Stream: PR reviews

[Kim Morrison]

Could we please review/merge #30994? This is a script to automate handling deprecation warnings. I've used it several times now on large refactors, and it seems robust enough for use. (I'm asking for a prompt merge because this morning I almost forgot it existed and was about to waste time...)

Ideally this would not just be a python script, etc, etc. The real way to do this is via a library scale refactoring tool, etc. I look forward to the lovely future in which this script is deleted, but it fills a very present hole right now. :-)

[Johan Commelin]

cc @Thomas Murrills

[Johan Commelin]

I've merged this. But indeed, would love to see this implemented via a Lean refactoring tool later.

[Thomas Murrills]

I'll mention for context re: Johan's ping here that I am currently working precisely on a library-scale Lean refactoring tool, and fixing deprecations are the use case I'm focusing on to develop the current prototype. Having this script to compare functionality against is actually very useful! :)