To that end, Sam and I added two highlighted sentences to the beginning of the response. We also reordered the other sections.

I’m about to move the response from the Google Doc to HotCRP. In about 40 minutes, please direct further edits to HotCRP.

Draft saved to HotCRP. Further edits there please.

Submitting real soon now…