More nits: - In Fig. 6 (Scenario 787-08), lines 2-4 appear to be truncated. [edit: I see you already responded to this elsewhere in the thread.] - The layout

More nits: - In Fig. 6 (Scenario 787-08), lines 2-4 appear to be truncated. [edit: I see you already responded to this elsewhere in the thread.] - The layout of the figure labels is confusing; at first glance it looks more like they're labeling what's under them, rather than above them. - The quotation marks are all turned into curly closing quotes. - This is more of a style thing, but the code snippets appear to be using a variable-width font laid out as if it were fixed width, which looks pretty bad. Perhaps the font isn't embedded properly.