Right now if I render a tiddler, say "New Tiddler" as html, its filename becomes "New%20Tiddler.html"
Which means, if I need to link to that html file,
href="New Tiddler.html" won't work,
href="New%20Tiddler.html" won't work either because browser interprets it as New Tiddler.html
I have to actually double url encode that name to get it working.
Is there a configuration somewhere which can be used to change this behaviour?