According to a sister comment, the paper contains a meta-proof that shows that many of the gaps do not matter in showing the equivalence.[0] I don't know if this is true or not, I'm just connecting the discussions.

[0] https://news.ycombinator.com/item?id=28473319