[webkit-dev] planet.webkit.org update