Copying the CI log now includes line numbers

A week or two ago, I noticed a change in the CI log. Before I could copy the CI error log to share errors with my collaborators. This simple copy and paste worked well. Now when I copy the CI log, line numbers are added to the start of each line. This radically reduces the readability of the issues that I share with my collaborators. Can we please bring back the old copy/paste functionality that does not include line numbers?

This has been fixed since. See e.g.