This Note attempts to summarize the treatment of thunks, thunk update, and indirections.
This fell out of work on #23185.
