[webkit-dev] Help with a possible Webkit bug