Yes but you've linked to a comment to the main blog post. Which is a bit untoward. A comment on a blog is hardly authoritative. I did a double-take until I realized you weren't linking to the main post. The main blog post says (and I quote) Still there remains the key question: is the proof correct? In one sense the present paper almost surely has mistakes—not just from the above objections but what one could expect of any first-draft in a breakthrough situation. The real questions are, is the proof strategy correct, and are the perceived gaps fixable?
edit: the commenter Charanjit Jutla seems to know his stuff but I still maintain that an offhand comment does not warrant the definitive titling of your submission.
Do a quick search on the blogs and the names of people posting comments on it. They are authoritative sources, just because it is on a blog (run by a well known complexity theorist) doesn't mean it's less important. I am quite surprised to see so many comments from these guys and such a discussion happen in public.
They don't necessarily agree with each other, though, so I'm not so sure how "authoritative" individual blog comments are (see e.g. Bradfield's followup to Jutla -- "And I don’t understand your comment about it not being known whether mu-calculus has a hierarchy of expressibility in alternation. It’s 15 years since I (and independently Lenzi) proved that it did!")
edit: sorry, was viewing this from a mobile phone, which didn't skip ahead to the comment.