Bookmarklet to Redirect from #AMP URLs to Real URLs