Javascript bookmarklet to provide pushState-assisted-navigation and richer UI for Javadoc sites