It seems fairly clear to me that one way in which Y is better than Y+ is that Y has greater average utility.

Yeah, on reflection the post is very unclear. I agree with the quoted sentiment, but the point I should have made was that we get to Y+ by a process that reduces average utility (redistributing resources evenly), so it doesn't seem surprising or confusing that Y has greater average utility.