Revisions 10.23

Almost everything from Matthias's on-paper comments
@mfelleisen why can't we have "However" at the start?