PopStateListener and PushStateNavigation

Hi there,

We are still struggling with using browsers back/forward buttons. I’d hope such a basic thing would be trivial. In earlier answers about this subject I read that I have to use PopStateListener and PushStateNavigation. Well, OK for me, but now I’d like to know how to do that.
PopStateListener is not documented (at least, a search in documentation gives no hits). PushStateNavigation is mentioned in the documentation, but only very briefly, in this way: If you would use PushStateNavigation then…
What I’m missing is explanation of the concepts, the relation between the two (is there a relation??).
So: Why would I use this concept: What is it’s purpose? Then maybe we can finally get something running with Vaadin.
BTW: We are talking about V8.x.x.x here.