Double slashes in API URLs can be an issue for clients
I just got a report from Serafeim from OpenAIRE that Java's HTTP client silently replaces double slashes in URLs with single slashes.
This breaks the API endpoints where origin URLs are embedded in paths, eg. https://archive.softwareheritage.org/api/1/origin/(origin_url)/visit/latest/
, in a way that is obscure for client devs.