Make text/log file contents copypastable faithfully
It looks like with some fiddling in the html/css we should be able to make it so that if one copypastes bits of log from the fancy view with line numbers and section headings, one can get a faithful copypaste of that bit of log.
Right now the line numbers and section headers are already stripped, there's only stray newlines where section headers were.
If we want, we can go the extra mile and take care of that, too