The second // is just a typo for /, happily it doesn't harm and leads to the same document.
URLs usually are of the form https://server.domain/directory/subdirectory.../document?option&anotheroption
In this case, the second // just contains an empty directory name which gets interpreted as "stay in the current directory".