<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Ben</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">GitLab's rendering has become broken.  See this ticket<br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><a href="https://gitlab.haskell.org/ghc/ghc/-/issues/20686">https://gitlab.haskell.org/ghc/ghc/-/issues/20686</a></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><ul><li>look under "Common ground...".   The bullets all have a newline after them</li><li>Ditto the numbered points under "Generalisation"</li><li>But some bullets under "Generalisation" are OK.</li><li>Bullets have a handle that seems to let you drag the bullet around.  But if you do so, it messa up the format  completely!</li></ul><div>Ben, can you revert this Gitlab change?</div><div><br></div><div>Simon<br></div></div></div>