Fixing problem with # in log file names

The # is legal in IRC channel names, but when we link to a filename with a #,
the browser interpretes it as an anchor in the URL.