Babai commented that the new work-around requires a 2-page proof and makes 10 existing pages obsolete. So, a net savings of 8 pages, in theory! We'll see how it turns out.

Makes me wish it was possible to write a -8 page paper. :)

I would have written a shorter letter, but I did not have the time. - Blaise Pascal, Provincial Letters: Letter XVI (4 December 1656)

Just write an 8 page paper on antimatter [pun intended].