Cleanup docs and link to jetty9 version