Partial update, as I keep filling out explanatory content for ICSE.