I'm curious how other developers search the WebKit code? I use http://codesearch.google.com/#search/&q=package:webkit from time to time. If others do too, we should make it a redirect from cs.webkit.org (like we do for cia.webkit.org). Or maybe folks have better code search solutions? grep -r? -eric