>The structure of the argument is, "We stood up a strawman and knocked it down," which sounds pretty weak.
Weaker than "I don't understand what the paper says, only read a high level layman summary, not sure even what what the experiment was for, but I'm gonna piss on it anyway"?
Even assuming what you already describe, the ability to show bi-locality as a new lower bound above which locality constraints apply, is very interesting, and nothing like a strawman.
It would only be a strawman if they claimed they violated locality in general.