G github.com HTML 5 History API: modify a website's URL without a full page refresh 2 points getcontext 11 years ago 0 comments