What did you think the purpose was, that would be better served by that stuff you listed?
I think the purpose is the same thing that you say it is, an example of an equilibrium that is “very close” to the worst possible outcome. But I would additionally prefer if the example did not invoke the reaction that it critically relies on quirky mathematical details. (And I would be fine if this additional requirement came at the cost of the equilibrium being “90% of the way towards worst possible outcome”, rather than 99% of the way.)
The cost I’d be concerned about is making the example significantly more complicated.
I’m also not sure the unintuitiveness is actually bad in this case. I think there’s value in understanding examples where your intuitions don’t work, and I wouldn’t want someone to walk away with the mistaken impression that the folk theorems only predict intuitive things.
I think the purpose is the same thing that you say it is, an example of an equilibrium that is “very close” to the worst possible outcome. But I would additionally prefer if the example did not invoke the reaction that it critically relies on quirky mathematical details. (And I would be fine if this additional requirement came at the cost of the equilibrium being “90% of the way towards worst possible outcome”, rather than 99% of the way.)
The cost I’d be concerned about is making the example significantly more complicated.
I’m also not sure the unintuitiveness is actually bad in this case. I think there’s value in understanding examples where your intuitions don’t work, and I wouldn’t want someone to walk away with the mistaken impression that the folk theorems only predict intuitive things.