@IsaacKing made a market with a typo in the market description (50 instead of 51). There was some discussion of whether he would be annoyed if someone corrected him. Would he?

https://manifold.markets/IsaacKing/this-market-resolves-to-whatever-pe

Specifically, would IK have been annoyed if @Simon1551 had posted to correct the typo?

This market resolves when @IsaacKing delivers his oracular answer, and it resolves to whatever he says.

(Isaac, I predict strongly that you won't be annoyed by this, but if you are let me know and I'm happy to N/A it. But in any case, please no shenanigans here, we're making a serious attempt to set up some Manifold social skills...)