Jetty specific docs tweaks