Better support of Ajax-driven websites

With HTML5 introducing history.pushState, websites like Facebook make of course use of this instead of changing the anchor. But history.pushState does not generate any event that can be detected.

But there must be some way to find out when this function is called ;)

The issue names no files, tests, or entry points. Start by mapping the extension's current navigation handling and researching browser APIs relevant to history.pushState; done means Ajax-driven URL changes are detected without relying on anchor changes.

Written by the indexing model from the issue text.