I know. I was just being deliberately annoying. Matthew Green's twitter thread includes an incorrect (but he has now walked it back since he's obviously now read the teardown we're supposed to be discussing here and which I've played my fair share in derailing) post about how "a little bird told him it works this way". Just more twitter bravado at the time.