> It seems like a lot of churn for relatively little gain. I'd rather our time be focused > on areas that actually benefit users of WebKit. OK. I don't feel strongly enough about this to push the issue.