Editorial: do not use "Return" to transfer control between execution contexts

[bakkot]

Fixes #2400.

Depends on #2413. Also I'm not 100% sure this all makes sense, so marking as a draft for now.

TODO: ensure the Let steps are on their own line (if coherent).