I have to manually remove the line numbers, which is inconvenient. This suggests the output might be formatted as rich text (like Markdown) which my terminal then renders with line numbers. What did ...