Document GHC-24180

[david-christiansen]

No description provided.

[PPKFS]

Alas github (and I guess gitlab too from work reasons) doesn't have "I want this comment to be pointed out because it needs further discussion so I don't want to immediately resolve it, but I don't want it to be blocking to the pR"

[david-christiansen]

Alas github (and I guess gitlab too from work reasons) doesn't have "I want this comment to be pointed out because it needs further discussion so I don't want to immediately resolve it, but I don't want it to be blocking to the pR"

I'm not sure what you mean by this one - can you rephrase?

[PPKFS]

The point about unicode characters was very interesting, and I think it's excellent that it's covered. However, it strikes me as strange that this is the error it throws.

[david-christiansen]

I agree that it's a strange error, but documenting strange errors is at least as important as documenting non-strange ones :-)