Commit 2025-01-14 01:19 0ef9418b

chore: address simps porting notes (#20717) I searched for porting note.*simps and tried to fix or delete the ones that were easy to address. Broadly:

• delete porting notes about replacing one form of simps with another
• if the note complains about wrong lemmas or timeouts, check if that's still the case and delete if not.