Not really. It needs to be added if the $url does not start with / or ./ which either means we have a URL like "foo/bar" or just like "foo".