> Better yet, > maybe make it an advanced setting string (maybe up to 5 of them or > something?) so that user choices are persisted across restarts. It has taken some days, but now in the plugin mirrored_downlaod the selected URL is saved as user setting and persists over a JOSM restart. Best regards, Roland