file:/// URLs in stack traces did not always use percent-encoding

Fixed by #1726 / #1729, tracking here so I remember to mention it in release notes.

Can be seen in a unit test that used to replace %20 with spaces. That replacement has been removed because we now do the right thing and output %20.