I don't know whether Paul and Mikail have HN accounts, but I sat next to them while they were doing a bunch of this work, and am happy to tell you what I know (or relay your questions to them).