Commit 2024-03-14 16:09 5e218f10
View on Github →chore: resolve some porting notes which are fixed now (#11317)
It started with the one in Convex/Combination and spiralled into revisiting all notes with needs in them.
The ToLin changes overlap with #11171.