Thank you, @Scott_Sauyet, for the link! In the meantime, I also found your own topic on this (URL encoding using a `+` instead of `%20` for a space - #27 by TW_Tones) which I wonder how I did not find earlier? It’s a long discussion, so I’ll get to it tomorrow.
@TW_Tones, I did not know about innerwiki, which is interesting – but indeed I’d rather, for now, have it all be static pages (I think there’s less load on the user, it’s overall simpler, and perfectly meets my needs at this moment).
Yesterday I found about the
\define tv-wikilink-template() $uri_doubleencoded$.html
line on top of the static exporter template. It led me here, but this lets me, at most, go from double encoded to single encoded urls. My point is the same as Scott’s above: I’d rather have + instead of %2520, even if it entails some extra work ensuring there won’t be tiddler title issues.
So, I am now onto finding where lies the definition of $uri_doubleencoded$, so I can try to fiddle with it.
Thank you both for the replies!