http://docs.codehaus.org/display/GEOSDOC/GeoServer+and+Eclipse+with+Tomcat http://docs.codehaus.org/display/GEOSDOC/GeoServer+and+Eclipse+with+Jetty and http://docs.codehaus.org/display/GEOSDOC/Debugging+with+Eclipse+and+Tomcat all repeat a lot of the same information, contributed by various people at various times. The last I think is the oldest, and can probably just be killed. The common elements should be comined, and then just differentiate on includes for Jetty or Tomcat. Also should take into account the geoserver set up tutorial, and make sure one is more tutorial like, the others more 'reference', if possible. But at the very least just cut down on repeated information and confusion for users as to which they should use.