[Merged by Bors] - chore: classify cannot automatically derive porting notes#11082

pitmonticone wants to merge 1 commit intomasterleanprover-community/mathlib4:masterfrom

pitmonticone/cannot-automatically-deriveleanprover-community/mathlib4:pitmonticone/cannot-automatically-deriveCopy head branch name to clipboard