Weird whitespace in code snippets

Stream: Zulip meta

[Eric Wieser]

Yaël Dillies said:

<snip>

That code sample contains illegal non-space whitespace characters

[Yaël Dillies]

What about now?

[Eric Wieser]

Fine now. Where did they come from?

[Notification Bot]

3 messages were moved here from #lean4 > Non-canonical instances kill where notation by Eric Wieser.

[Yaël Dillies]

The Zulip draft it seems. My message was perfectly fine when I started writing it two weeks ago (it was copy-pasted from a Lean file