Some minor fixes in docs and change jetty defaults