Remember – reloading the page is always faster than waiting for GitHub’s custom routing.