Correct examples in Errai Navigation url path and pushState docs.