#756: Improved plugin help for jetty.