The one given by the user is stored in `@url`.