Revisions 10.23

Almost everything from Matthias's on-paper comments
A semicolon _and_ a comma?