NXP-10851: make it possible to a PageProvider to notify when its current page has changed through a PageProviderChangedListener
NXP-10858: make DocumentPathCodec generate URLs without document