Markdown rendering issue in list.after

Stream: general

[Eric Wieser]

Any idea of the cause? docs#list.after. The word lean seems to have leaked out of ```lean ```

[Gabriel Ebner]

Maybe because there are spaces in front of the ```lean ?

[Floris van Doorn]

Here is a previous topic on this:
https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Documentation.20formatting.20in.20tactic.2Elocalized
It was not clear what causes this exactly. Indentation was a guess back then too, but there were some indented code blocks that did work correctly.