Currently they cause the line numbers to get really wide: <img width="1832" height="210" alt="Image" src="https://github.com/user-attachments/assets/42e4c522-48bc-4e08-b1e4-a171da384cca" />
