I suppose one justification for the quoting would be to aid copy-and-paste. It does a pretty poor job of that, though - right now, a file that's called (say) a"b will be rendered as "a"b", which isn't much good. Perhaps simpler is better.
I suppose one justification for the quoting would be to aid
copy-and-paste. It does a pretty poor job of that, though - right now,
a file that's called (say) a"b will be rendered as "a"b", which isn't
much good. Perhaps simpler is better.