Hey all, just wanted to let you know that we've got a plug-in for GeoServer that outputs GeoJSON, version 1.0-RC1. Please test it out and give us any feedback. More information at: http://blog.geoserver.org/2007/07/09/geojson-output-for-geoserver/ and http://docs.codehaus.org/display/GEOSDOC/GeoJSON+Output+Format
Chris