Deduplicate multiple consecutive slashes in a current URL without reloading a page — useful for GitHub Pages