Yes, I am aware of that, that's why I made sure to mention it. There is a world of difference between local and non-local theories. And in no way do non-local theories fit in any of the simple explanations the original poster had in mind.

> We haven't ruled out hidden variables

No, but we ruled out every non-local or non-real one. Which is a far more interesting achievement.