Thread:Project:Support desk/unexpected formatting with PRE and OL/reply (2)

Imo it's a bug. https://bugzilla.wikimedia.org/show_bug.cgi?id=36205