Commit 2025-03-12 12:11 b264b11f

chore(*): classify porting notes about delta derive handler (#22869) We have issue #380 (and #5020) tracking the lack of this derive handler, so go through all porting notes mentioning 'deriv', '5020' and '380', and refer to #380. There are a few notes about deriving coercions, which I think we should not do (given that the unfolded function would have the wrong type). So I removed those comments outright.