html5history
No security coverage
This is an extremely lightweight and unobtrusive module that does two things.
1. Exposes the HTML 5 History Interface to Drupal's AJAX Command system.
2. Provides a system for hooking into pushState and replaceState events to provide a lightweight solution for https://stackoverflow.com/questions/10940837/history-pushstate-does-not-...
See the documentation for more information.