We’re going to submit to PLDI using the new introduction (draft/seed) that I just committed. This revision requires no new experiment, but very different signposting. Starting with: what’s a new title?