Cannot use feed URLs with spaces

[François Marier]

It's not possible to add a feed like this: https://www.openstreetmap.org/user/Francois%20Marier/traces/rss

to the config file.

I tried the following and they all failed:

  url = https://www.openstreetmap.org/user/Francois%20Marier/traces/rss
  url = https://www.openstreetmap.org/user/Francois Marier/traces/rss
  url = "https://www.openstreetmap.org/user/Francois Marier/traces/rss"

[François Marier (fmarier)]

Actually, spaces are correctly parsed in the configuration (https://docs.python.org/3/library/configparser.html), the problem is that these two requests return different results:

  curl "https://www.openstreetmap.org/user/Francois Marier/traces/rss"
  curl "https://www.openstreetmap.org/user/Francois%20Marier/traces/rss"